purplecat: Hand Drawn picture of a Toy Cat (agents)
purplecat ([personal profile] purplecat) wrote2008-02-25 03:30 pm

Paper accepted: Programming Verifiable Agent Systems

Thank you very much for submitting a paper to ProMAS 2008.
We are pleased to let you know that your paper

ID: 113
Title: Programming Verifiable Heterogeneous Agent Systems

has been accepted.

Post a comment in response:

This account has disabled anonymous posting.
(will be screened if not validated)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org