purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat ([personal profile] purplecat) wrote2009-07-21 12:08 pm

Paper Accepted: Model Checking Normative Agent Organisations

Thank you very much for submitting a paper to CLIMA this year. We are pleased to inform you that your paper has been accepted for presentation at CLIMA-X.

I've got as far as skimming the actual referees comments through my fingers - doesn't sound like they are asking for too much. The most negative referee complains that we haven't explained our formulae properly, however all his/her questions about them are answered in the paper so it's presumably just a question of sprinkling footnotes around the formulae saying "see section X for an explanation of these letters".

For the uninitiated (so, umm, all of you!) CLIMA stands for Computational Logic in Multi-Agent Systems (I imagine you all feel greatly enlightened).

[identity profile] lukadreaming.livejournal.com 2009-07-21 11:48 am (UTC)(link)
Excellent!

Damn -- you have reminded me I have a conference paper to submit. I feel most disinclined *g*.

[identity profile] lukadreaming.livejournal.com 2009-07-21 03:22 pm (UTC)(link)
Sigh, I know *g*. And I've got two book proposals jabbing me in the ribs to be finished.

I haven't particularly researched in an area yet where there's any serious chance of grants. But it's been suggested to me that there might be some possibilities with my PhD topic, so I may have this delight to look forward to.

We had our annual research jamboree a couple of weeks ago, and it was very revealing to see which fields are heavy on journals and which on books.