11:40 Invited Talk (joint with TARK)
  • Pierpaolo Battigalli
      Beliefs, Plans, and Perceived Intentions in Games
12:30 Lunch
13:30 Oral Presentations (joint with TARK)
  • Ziv Hellman and Alia Gizatulina
       No Trade and Yes Trade Theorems for Heterogeneous Priors (TARK)
  • Andrés Perea
       Why forward induction leads to the backward induction outcome: A new proof for Battigalli's theorem (TARK)
  • Emiliano Catonini
       Rationalizability and epistemic priority orderings (TARK)
  • Hans van Ditmarsch
       Asynchronous Announcements (SR)
15:10 coffee
15:40 Oral Presentations (joint with TARK)
  • Burkhard Schipper
       Self-confirming games: Unawareness, discovery, and equilibrium (TARK)
  • Arpita Ghosh and Joseph Halpern
       Games With Tolerant Players (TARK)
  • Dietmar Berwanger and Ramanujam
       Deviator detection under imperfect monitoring (SR)
17:00 Break
18:00 Invited Talk (sponsored by EurAI)
  • Hans van Ditmarsch and Barteld Kooi
      One Hundred Prisoners and a Light Bulb. Solving Logical Puzzles.
19:00 Evening Drinks
20:30 SR Conference Dinner


9:00 Invited Talk
  • Joe Haplern
      Robustness and Optimization of Scrip Systems
9:50 Break
10:20 Oral Presentations
  • Steve Nugent, Jonathan Philpott, Paul Harrenstein and Michael Wooldridge
      Behavioural Strategies in Boolean Games
  • Véronique Bruyère, Stéphane Le Roux, Arno Pauly and Jean-François Raskin
      On the existence of weak subgame perfect equilibria
  • Julian Gutierrez, Giuseppe Perelli and Michael Wooldridge
      Iterated Games with LDL Goals over Finite Traces
  • Rodica Condurache, Emmanuel Fillot, Raffaella Gentilini and Jean-François Raskin
      The Complexity of Rational Synthesis
  • Stéphane Le Roux, Arno Pauly and Jean-François Raskin
      Minkowski games
12:25 Lunch
14:00 Invited Talk
  • Wojtek Penczek
      Towards efficient model checking for variants of ATL under different semantics
14:50 Break
15:20 Oral Presentations
  • Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojtek Jamroga and Andrew Vaughan Jones
      Bisimulations for Verifying Strategic Abilities Applied to Voting Protocols
  • Raul Fervari, Fernando R. Velázquez-Quesada and Yanjing Wang
      Bisimulations for Knowing How Logics
  • Valentin Goranko, Antti Kuusisto and Raine Rönnholm
      Rationality principles in pure coordination games
  • Federico Bobbio and Jianying Cui
      A plausibility model for regret games
17:00 Close