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):
- Formal specification, analysis, and reasoning about interaction,
- Logics for multi-agent interaction,
- Model checking of interaction properties,
- Theoretical foundations of interaction in multi-agent systems,
- Game-theoretic approaches to interaction,
- Rationality and bounded rationality in interaction,
- Social choice procedures (e.g., voting),
- Security of interaction: analysis, verification, and design,
- Between information and interaction: the epistemic and info-theoretic
side of interaction,
- Formal approaches to information security.
