About the event

Since I moved back to my home city of Gdansk, I have been planning to organize a research seminar here. The idea is to do it somewhat Dagstuhl-style, 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 2015-10-09