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	Slides
Day 1	Introduction, Motivation and Background (brief synopsis)	Lecture 1
Day 2 July 28, 2009	Basic Ingredients for a Logic of Rational Agency (brief synopsis)	Lecture 2
Day 3 July 29, 2009	Logics of Rational Agency and Social Interaction, Part I (brief synopsis)	Lecture 3
Day 4 July 30, 2009	Logics of Rational Agency and Social Interaction, Part II (brief synopsis)	Lecture 4
Day 5 July 31, 2009	Conclusions and General Issues (brief synopsis)	Lecture 5

Day 1: Interactive Agency: the dynamic turn

Opening by Johan van Benthem. What does it mean for logic itself to take this new stance? Where do we stand today?

Specific issues: which paradigms are available, in addition to dynamic epistemic logic and its ilk?

Day 2: Modeling agency: a view from computer science

New contacts, new methods. Invited speaker: Ram Ramanujam on modeling fine-structure of agents via automata theory, and related computational and game techniques. Discussant: Eric Pacuit. d) Eric Pacuit & congenial game theorist: we are thinking of Aviad Heifetz. e)

Day 3: Interactive agency: a view from philosophy

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

Day 4: Strategic interaction: a view from game theory

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

Day 5: Strategic interaction: a view from cognitive science

The move toward agency has a more 'empirical' ring, even though the logics that have been produced so far are as normative as their more classical counterparts. What significant new issues can be profitably explored at the interface of logic and cognitive reality?