|
Saturday, July 7th
|
|
09:00-10:30 |
SR Invited tutorial: Edith Elkind
(Chair: Nicolas Markey)
|
|
09:00-10:30
|
|
Edith Elkind. Strategic behavior in social choice - Part 1 |
|
11:00-12:30 |
SR Invited tutorial: Edith Elkind
|
|
11:00-12:30
|
|
Edith Elkind. Strategic behavior in social choice - Part 2 |
|
14:00-15:30 |
Determinacy, compositionality
(Chair: Arno Pauly)
|
|
14:00-14:40
|
|
Neil Ghani,
Jules Hedges, Philipp Zahn and
Viktor Winschel. Compositional Game Theory |
|
14:40-15:20
|
|
Stephane Le Roux.
Concurrent games and semi-random determinacy |
|
16:00-18:00 |
Multiple-player games
(Chair: Moshe Vardi)
|
|
16:00-16:40
|
|
Francesco Belardinelli,
Alessio Lomuscio,
Aniello Murano and
Sasha Rubin.
Verification of Multi-agent Systems with Imperfect Information and Public Actions |
|
16:40-17:20
|
|
Julian Gutierrez,
Paul Harrenstein,
Thomas Steeples and
Michael Wooldridge.
Local Equilibria in Logic-Based Multi-Player Games |
|
17:20-18:00
|
|
Nicolas Basset,
Ismaël Jecker,
Arno Pauly,
Jean-Francois Raskin
and
Marie Van Den Bogaard.
Beyond admissibility: Dominance between chains of strategies |
|
Sunday, July 8th
|
|
09:00-10:30 |
SR Invited tutorial: Marcin Jurdziński
(Chair: Patricia Bouyer)
|
|
09:00-10:30
|
|
Marcin Jurdziński.
Quasi-polynomial algorithms for solving parity games - Part 1 |
|
11:00-12:30 |
SR Invited tutorial: Marcin Jurdziński
|
|
11:00-12:30
|
|
Marcin Jurdziński. Quasi-polynomial algorithms for solving parity games - Part 2 |
|
14:00-15:30 |
Two-player games
(Chair: Nir Piterman)
|
|
14:00-14:40
|
|
Guy Avni,
Thomas A. Henzinger
and Ventsislav Chonev.
Infinite-Duration Richman Bidding Games |
|
14:40-15:20
|
|
Antonio Di Stasio,
Aniello Murano and
Moshe Vardi.
Solving Parity Games: Explicit vs Symbolic |
|
16:00-18:00 |
Strategy Logic
(Chair: Paul Harrenstein)
|
|
16:00-16:40
|
|
Nathanaël Fijalkow,
Bastien Maubert,
Aniello Murano
and Sasha Rubin. Quantifying Bounds in Strategy Logic |
|
16:40-17:20
|
|
Raphaël Berthon,
Bastien Maubert,
Aniello Murano,
Sasha Rubin
and Moshe Vardi.
Strategy Logic with Imperfect Information |
|
17:20-18:00
|
|
Patrick Gardy,
Patricia Bouyer and
Nicolas Markey. Dependences in Strategy Logic |
