Accepted to a journal with only minor corrections. Admittedly this was the second journal we tried. The first took issue with our use of the words "case study" and demanded we do a large and complex case study. Since this is the final publication from the MCAPL project there was no enthusiasm for the revisions necessary, so instead we changed ( Read more... )

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 ( Read more... )

So for the past two weeks I've had a visitor at work, who I shall call NT (since I'm so great at thinking up pseudonyms). He's a PhD student from the Netherlands who has invented a programming language for organisations of agents. I was in favour of calling this language Orwell (the original paper describes them as Orwellian Agents) but NT opted ( Read more... )

1. Loose 1 stone in weight. Weigh myself every day and track moving average ( Read more... )

I vaguely threatened to write up my trip to Schloss Dagstuhl when I posted about visiting Trier. I don't really feel up to an account of even the most interesting talks but I thought a bit of general waffle might not go amiss.

( waffle )

We are happy to inform you that your paper entitled

"Automated Verification of Multi-Agent Programs"

has been accepted as a FULL PAPER for ASE 2008. The acceptance rate for long
papers was 12% (34/280).Really pleased about this (and not just the 12% bit). This was the major conference paper planned to come out of this project so its good its ( Read more... )

Things I learned today

• The reason our code model checks sooo slowly, despite having a relatively conservative number of states, is that JPF (Java Pathfinder - a model checker) has an exponential slowdown based on the number of objects in the program. Our program has a lot of objects.
• Fortunately the JPF developers intend to fix this by the end of ( Read more... )

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.

Several people now have told me these posts are entirely jibberish however I want to document the progress of our thought on the project. It's all under the cut but I don't suggest you read it unless you are actually interested in agents, programming and/or model checking.

( And now the science bit )

New Architecture absurdly simple and now implemented. Email received from Durham end of project

since we have achieved almost all deliverables in one morning, we need to find another project to work on.