purplecat: Hand Drawn picture of a Toy Cat (Default)
[personal profile] purplecat
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. Instead of going on a day trip to Trier or a town designed to sell wine to tourists, the seminar opted to offer, as its "expedition", a hike through the surrounding German forestland. Quite a lot of people opted out of this. I later discovered that our intrepid leader had, over the years, developed something of a reputation for getting computer scientists lost in the German forest. However he was armed with his new smart phone and a map and despite the odd wobble we did eventually find our way back to the schloss in time for supper.

On the way we were adopted by a bunch of German walkers who seemed to be on some kind of German hiking equivalent of a pub crawl. This involved stopping at people's houses at regular intervals and drinking vodka.

The vodka was definitely not optional, despite a surprising attempt on the part of the Russian contingent to get out of drinking any.

It must be said it was a very gentle hike. Just as well since most of us had nothing approaching suitable footwear. Even so my legs were definitely feeling it for the last half hour.

Some more pictures courtesy of the glorious leader.

Before. I'm in this picture but, you know, I'm short. You can see the edge of my arm though.

During. Not lost. Honest.


Obligatory seminar photo.

Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
Account name:
If you don't have an account you can create one now.
HTML doesn't work in the subject.


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

Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.


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

October 2017

123456 7
8910111213 14
151617181920 21


Style Credit

Expand Cut Tags

No cut tags