Detailed program

Accepted papers and abstracts of invited talks are available here.

Monday, 18 September, 2023

9:4510:45Invited talk (chair: Angelo Montanari)
Juha Kontinen
Complexity Aspects of Logics in Team Semantics
10:4511:15Coffee break
11:1512:45Session 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+
14:3016:00Session 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:30Coffee break
16:3018:00Session 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

9:3010:30Invited talk (chair: Dario Della Monica)
Laure Daviaud
Weighted Automata at the Border of Decidability
10:3011:00Coffee break
11:0012:30Session 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
14:3015:30Invited talk (chair: Gabriele Puppis)
Alexander Rabinovich
The Church Synthesis Problem over Continuous Time
16:0024:00Social trip

Wednesday, 20 September, 2023

9:3010:30Invited talk (chair: Antonis Achilleos)
Sophie Pinchinat
Strategic Reasoning under Imperfect Information – The Case of Synchronous Recall
10:3011:00Coffee break
11:0012:30Session 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