Wednesday | |
| 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
|
Thursday | |
| 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
|
