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