GandALF 2026 - Call for participation

[apologies for multiple copies]


*****************************************************************************************************
Call for Participation  - GandALF 2026
*****************************************************************************************************

The Seventeenth International Symposium on Games, Automata, Logics,
and Formal Verification
will take place in Aalborg, Denmark, September 15-17, 2026.

Web page: https://gandalfsymposium.github.io/2026/

The aim of the symposium is to bring together researchers from
academia and industry which are actively working in the fields of
Games, Automata, Logics, and Formal Verification. The symposium covers
an ample spectrum of themes, ranging from theory to applications, and
encourages cross-fertilization. Papers focused on formal methods are
especially welcome. Authors are invited to submit original research or
tool papers on all relevant topics in these areas. Papers discussing
new ideas that are at an early stage of development are also welcome.

The topics covered by the conference include, but are not limited to,
the following:

Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems Synthesis

## Invited Speakers:

- Ezio Bartocci (TU Wien)
- Sarah Winter (IRIF, UniversitΓ© Paris CitΓ©)
- Nicola Cotumaccio (HIIT, University of Helsinki)

## Important dates:

Early registration deadline: 20 August 2026
Conference dates: 15-17 September 2026

## Accepted papers:

* A Topological Framework for Finite Behavioural Observations and Verification
Antonis Achilleos and Vasiliki Kyriakou

* Execution-Time Opacity in (Controllable) Timed Automata is hard
Sarah DΓ©pernet and Engel Lefaucheux

* Antichains for Concurrent Parameterized Games
Nathalie Bertrand, Patricia Bouyer and GaΓ«tan Staquet

* Representation theorems for actual powers over two-agent general
concurrent game frames
Zixuan Chen, Fengkui Ju and Thomas Agotnes

* Rabin Games Revisited
Antonio Di Stasio and Moshe Vardi

* Lasso Games
Krzysztof Ε»yndul

* The Complexity of Asynchronous HyperLTL
GaΓ«tan Regaud and Martin Zimmermann

* Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic
Correspondence with Linear Nested Sequents
Tim Lyon and Lukas Zenger

* New Translations From LTL with Past to LDBA and DPA
David Lidell and Nir Piterman

* Nondeterministic Automata have Outerplanar State Graphs
Mario Grobler, Till Koziel and Sebastian Siebertz

* Optimizing Proof-Search via Linearization for Gödel-Löb Logic with
Tree-Hypersequents
Tim Lyon and Omar Taher

* Capturing Bisimulation-Invariant Exponential-Space Complexity Classes
Florian Bruse, David Kronenberger and Martin Lange

## Program Committee:

Giorgio Bacci (Aalborg University, Denmark) - chair
MickaΓ«l Randour (UniversitΓ© de Mons, Belgium) - chair

Bartosz Bednarczyk (University of WrocΕ‚aw, Poland, and TU Wien, Austria)
Laurent Doyen (CNRS & LMF, ENS Paris-Saclay, France)
Marie Fortin (IRIF, CNRS, UniversitΓ© Paris CitΓ©, France)
Hadar Frenkel (Bar-Ilan University, Israel)
Raffaella Gentilini (University of Perugia, Italy)
Aline Goeminne (ENS Rennes, France)
James C. A. Main (University of Oxford, United Kingdom)
Alessio Mansutti (IMDEA Software Institute, Spain)
Angelo Matteo (University of Udine, Italy)
Matteo Mio (CNRS/ENS-Lyon, France)
Petr NovotnΓ½ (Masaryk University, Czech Republic)
Charles Paperman (UniversitΓ© de Lille, France)
Julie Parreaux (University of Warsaw, Poland)
Igor Potapov (University of Liverpool, United Kingdom)
David Purser (University of Liverpool, United Kingdom)
Jeremy Sproston (University of Turin, Italy)
B Srivathsan (Chennai Mathematical Institute, India)
Marie Van Den Bogaard (UniversitΓ© Gustave Eiffel, France)
Chana Weil-Kennedy (CEA List, France)

## Steering Committee:

Luca Aceto (Reykjavik University)
Javier Esparza (University of Munich)
Salvatore La Torre (University of Salerno)
Angelo Montanari (University of Udine)
Mimmo Parente (University of Salerno)
Jean-François Raskin (Université libre de Bruxelles)
Martin Zimmermann (Aalborg University)

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************