9:00 - 10:00Andreas Herzig (invited speaker). Propositional assignments, announcements, and their applications to logics of action and agency.
10:00 - 10:30Emiliano Lorini and Frederic Moisan. An Epistemic Logic of Extensive Games.
10:30 - 11:00coffee break
11:00 - 11:30Dario Della Monica, Margherita Napoli and Mimmo Parente. On a Logic for Coalitional Games with Priced-Resource Agents.
11:30 - 12:00Dimitar Guelev and Mads Dam. An Epistemic Predicate CTL* for Finite Control pi-Processes.
12:00 - 12:30Jeremy Seligman. Open and closed questions in decision making.
12:30 - 13:00Jeremy Seligman. A logical model of the dynamics of peer pressure.