In recent years there has been a good deal of interest in developing two perspectives in tandem: logics that analyze agent interaction, and introducing interactive viewpoints into logic itself. While this has generated much new research, many broad questions remain.

This workshop will systematically cover a number of major issues that arise here, in the form of 5 meetings on different interfaces. The format for each will be the same:

• relevant material will be posted beforehand on this website;
• a short introduction to the theme by one of the organizers;
• a brief issue-oriented invited lecture by a prominent colleague of the 'interface', either alone, or in pairs where suitable; and
• discussion including the audience, geared toward clarification and identifying further research questions.

The Schedule at a Glance

Date	Topic
Day 1	Interactive agency: the dynamic turn in logic (details)
Day 2	Interactive agency: a view from philosophy (details)
Day 3	Modeling agency: a view from computer science (details)
Day 4	Strategic interaction: a view from game theory (details)
Day 5	Further Themes in Interactive Agency (details)

Monday, August 16: Interactive Agency, A View from Philosophy

Brief Summary: What does it mean for logic itself to take this new stance? Where do we stand today? Which paradigms are available, in addition to dynamic epistemic logic and its ilk?

Time	Speaker
14.00 - 14.15	Introduction Johan van Benthem Logical Dynamics of Information and Interaction (Chapter 1 of forthcoming book)
14.15 - 14.55	What is DEL good for? (slides) Alexandru Baltag
14.55 - 15.00	Break
15.00 - 15.20	Moorean Phenomena in Epistemic Logic (slides) Wes Holliday and Thomas Icard Paper
15.20 - 15.30	Discussion

Tuesday, August 17: Interactive Agency, The Dynamic Turn in Logic

Brief Overview: An overview of recent developments in formal epistemology. What can logic contribute, and in doing so, can it regain some of its former importance in philosophy?

Time	Speaker
14.00 - 14.15	Introduction Johan van Benthem Logical Dynamics in Philosophy (Chapter 13 of forthcoming book)
14.15 - 14.55	Agency and Interaction in Formal Epistemology (slides) Vincent Hendricks Paper 1, Paper 2
14.55 - 15.00	Break
15.00 - 15.20	The Surprise Examination in Dynamic Epistemic Logic (slides) Alexandru Marcoci
15.20 - 15.30	Discussion

Wednesday, August 18: Modeling Agency, A View from Computer Science

Brief Overview: A discussion of new contacts and new methods. For example, modeling fine-structure of agents via automata theory, and related computational and game techniques.

Time	Speaker
14.00 - 14.20	Introduction Eric Pacuit
14.20 - 15.00	From Lawvere to Brandenburger-Keisler Samson Abramsky Paper
15.00 - 15.05	Break
15.05 - 15.30	Game Solutions, Epistemic Dynamics and Fixed Points Johan van Benthem Paper

Thursday, August 19: Strategic Interaction: A View from Game Theory

Brief Overview: Given some striking differences in perspective, what are the significant cooperations that can be expected between logic and game theory?

Time	Speaker
14.00 - 14.15	Introduction Eric Pacuit
14.15 - 15.55	Origins of Epistemic in Game Theory (slides) Adam Brandenburger Paper
14.55 - 15.00	Break
15.00 - 15.20	Dependence Games Davide Grossi Paper
15.20 - 15.30	Discussion

Friday, August 20: Further Themes in Interactive Agency

On this final day, we look at a sample of recent work along the lines of these weeks major themes. This day has more of a discussion-oriented working character. We may also organize a poster session if we get further proposals during the week.

Time	Speaker
14.00 - 14.15	Dynamic Probabilistic Doxastic Logic (slides) Irma Conrellise Paper
14.15 - 14.30	DEMO, Dynamic Logic and Game Solutions J. Cui Paper
14.30 - 14.45	The Rational Postulates for DEL in the Context of Real Administering of Knowledge (slides) Urszula Wybraniec-Skardowska and Jacek Waldmajer Paper 1, Paper 2
14.45 - 14.50	Break
15.50 - 15.05	Muddy Children Playground: Number Triangle, Internal Complexity, and Quantifiers (slides) Nina Gierasimczuk and Jakub Szymanik Abstract, Paper
15.05 - 15.20	The Substitution Fragment of PAL (slides) Wes Holliday, Tomohiro Hoshi and Thomas Icard
15.20 - 15.30	Conclusions Johan van Benthem/Eric Pacuit