About the event

The idea is to do a Dagstuhl-style seminar, with discussions, talks, and... more discussions. I would also be happy to show people around the place: the hanseatic Old Town, the beach etc. Last but not least there are pubs with good beer in the Old Town that seem like a great way of connecting the scientific and ludic elements in research. ;-)

The focus of the meeting is modeling, design, specification, verification, and reasoning about interaction. It is loosely connected to LAMAS (the research network on Logical Aspects of Multi-Agent Systems), but the seminar is not limited to logic. Any kind of formal methods is within the scope.

Some interesting topics (the list is not exhaustive):

Wojtek Jamroga home page
Polish-Japanese IT Academy
Polish-Japanese IT Academy Main page
Last modified 2016-09-14