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

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

FacebookTwitterLinkedInGoogle

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

Call For Papers

[Empty]

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