Accepted papers and abstracts of invited talks are available here.
Monday, 18 September, 2023
| Start | End | Session/event |
| 9:00 | 9:30 | Registration |
| 9:30 | 9:45 | Opening |
| 9:45 | 10:45 | Invited talk (chair: Angelo Montanari) Juha Kontinen Complexity Aspects of Logics in Team Semantics |
| 10:45 | 11:15 | Coffee break |
| 11:15 | 12:45 | Session 1: Satisfiability and property specification (chair: Luca Geatti) |
| Emanuel Kieronski A uniform one-dimensional fragment with alternation of quantifiers | ||
| Jasper Nalbach, Valentin Promies, Erika Abraham and Paul Kobialka FMplex: A Novel Method for Solving Linear Real Arithmetic Problems | ||
| Manolis Pitsikalis, Alexei Lisitsa and Patrick Totzke Handling of Past and Future with Phenesthe+ | ||
| 12:45 | 14:30 | Lunch |
| 14:30 | 16:00 | Session 2: Concurrency and process semantics (chair: Antonis Achilleos) |
| Hans van Ditmarsch, Roman Kuznets and Rojo Randrianomentsoa On Two- and Three-valued Semantics for Impure Simplicial Complexes | ||
| Marco Bernardo and Andrea Esposito Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities | ||
| Stephan Spengler and Sanchari Sil TSO Games: On the decidability of safety games under the total store order semantics | ||
| 16:00 | 16:30 | Coffee break |
| 16:30 | 18:00 | Session 3: Verification and synthesis (chair: ) |
| Falke B. Ø. Carlsen, Lars Bo Park Frydenskov, Nicolaj Østerby Jensen, Jener Rasmussen, Mathias Mehl Sørensen, Asger Geel Weirsøe, Mathias Claus Jensen and Kim Guldstrand Larsen CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics | ||
| Paul Hannibal (Un)Decidability Bounds of the Synthesis Problem for Petri Games | ||
| Julie Parreaux, Jakob Piribauer and Christel Baier Counterfactual Causality for Reachability and Safety based on Distance Functions |
Tuesday, 19 September 2023
| Start | End | Session/event |
| 9:30 | 10:30 | Invited talk (chair: Dario Della Monica) Laure Daviaud Weighted Automata at the Border of Decidability |
| 10:30 | 11:00 | Coffee break |
| 11:00 | 12:30 | Session 4: Complexity, automata, and learning (chair: Laure Daviaud) |
| Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva and Alexandra Silva Conflict-Aware Active Automata Learning | ||
| Thomas Webster The Recursive Arrival Problem | ||
| Joshua Grochow and Michael Levet On the Descriptive Complexity of Groups without Abelian Normal Subgroups | ||
| 12:30 | 14:30 | Lunch |
| 14:30 | 15:30 | Invited talk (chair: Gabriele Puppis) Alexander Rabinovich The Church Synthesis Problem over Continuous Time |
| 16:00 | 24:00 | Social trip |
Wednesday, 20 September, 2023
| Start | End | Session/event |
| 9:30 | 10:30 | Invited talk (chair: Antonis Achilleos) Sophie Pinchinat Strategic Reasoning under Imperfect Information – The Case of Synchronous Recall |
| 10:30 | 11:00 | Coffee break |
| 11:00 | 12:30 | Session 5: Strategic reasoning and games (chair: Davide Bresolin) |
| Daniele Dell’Erba, Arthur Dumas and Sven Schewe An Objective Improvement Approach to Solving Discounted Payoff Games | ||
| Martin Fränzle, Sarah Winter and Martin Zimmermann Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games | ||
| Sebastian Forster, Antonis Skarlatos and Tijn de Vos Fast Algorithms for Energy Games in Special Cases | ||
| 12:30 | 12:45 | Closing |
| 12:45 | 14:30 | Lunch |