Schedule

Time is given in UTC/GMT +2

Monday, September 7

14:50-15:00 -- Welcome
15:00-16:00 -- Invited talk
Francesco Belardinelli
Information and Memory in the Verification of Multi-agent Systems
16:00-16:30 -- Break
16:30-18:30 -- Contributed talks
Valentin Goranko and Fengkui Ju
A Logic for Conditional Local Strategic Reasoning [.pdf]
Sebastian Enqvist and Valentin Goranko
Temporal logic of coalitional goal assignments in concurrent multi-player games [.pdf]
Dimitar Guelev
Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games [.pdf]
Eugenia Ternovska
Deterministic Linear Dynamic Logic and Hilbert's Choice Operator [.pdf]


Tuesday, September 8

15:00-17:00 -- Contributed talks
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli and Michael Wooldridge
On Computational Tractability for Rational Verification [.pdf]
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli and Michael Wooldridge
Equilibrium Design for Concurrent Games [.pdf]
Giuseppe Perelli
Enforcing Equilibria in Multi-Agent Systems [.pdf]
Francesco Belardinelli, Wojtek Jamroga, Damian Kurpiewski, Vadim Malvone and Aniello Murano
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies [.pdf]
17:00-17:30 -- Break
17:30-18:30 -- Invited talk
Moshe Vardi
Lessons from COVID-19: Efficiency vs Resilience
18:30-19:00 -- Discussion