Schedule

Click here to see the (same) schedule on FLoC/EasyChair webpage.
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