May. 11th, 2013

purplecat: Hand Drawn picture of a Toy Cat (Default)
I have written about Schloss Dagstuhl before. I do rather like the place, so seized another opportunity to go when one presented itself. I will not bore you all with the details of Verifying and Testing Multi-Agent Systems. I think the most interesting aspects, for me, were getting a better handle on some of the logics for reasoning about multi-agent systems, and getting a better look at some of the other model-checkers out there. There was also an interesting session on devising good examples for the specification and verification of multi-agent systems and, with luck, there may be some concrete outcomes from that.

However I will talk about the hike. The Hike )

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

October 2017

S M T W T F S
123456 7
8910111213 14
15161718192021
22232425262728
293031    

Tags

Style Credit

Expand Cut Tags

No cut tags