posted by user: cpsvida || 54 views || tracked by 1 users: [display]

GandALF 2023 : Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification


When Sep 18, 2023 - Sep 20, 2023
Where Udine, Italy
Submission Deadline Jul 7, 2023

Call For Papers


Related Resources

CSL 2024   32nd EACSL Annual Conference on Computer Science Logic
Highlights 2023   Highlights of Logic, Games and Automata
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
IFM 2023   Integrated Formal Methods
ICFEM 2023   International Conference on Formal Engineering Methods
FMAS 2023   Fifth Workshop on Formal Methods for Autonomous Systems
AFL 2023   16th International Conference on Automata and Formal Languages
FAACS 2023   The 7th International Workshop on Formal Approaches for Advanced Computing Systems
FTSCS 2023   Ninth ACM International Workshop on Formal Techniques for Safety-Critical Systems
SBMF 2023   SBMF 2023