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

MEC 2025   9th International Conference on Trends in Mechanical Engineering
RV 2025   25th International Conference on Runtime Verification
AREA 2025   Fifth International Workshop on Agents and Robots for reliable Engineered Autonomy
SBMF 2025   28th Brazilian Symposium on Formal Methods
NCMA 2025   Non-Classical Models for Automata and Applications
QEST+FORMATS 2025   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
VORTEX 2025   International Workshop on Verification and Monitoring at Runtime Execution
CONCUR 2025   36th International Conference on Concurrency Theory
SETTA 2025   11th Symposium on Dependable Software Engineering: Theories, Tools and Applications