[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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************