posted by user: cpsvida || 194 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

LearnAut 2024   Learning and Automata
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems
DCFS 2024   Descriptional Complexity of Formal Systems
SPIN 2024   30th International Symposium on Model Checking Software
CSL 2024   32nd EACSL Annual Conference on Computer Science Logic
SLIE 2024   Semantic, Logics, Information Extraction and AI (SLIE)
ICALP 2024   International Colloquium on Automata, Languages and Programming
FM 2024   Formal Methods