Symposium on Games, Automata, Logics, and Formal Verification

Views: 672

When : 2017-09-20

Where : Rome,Italy

Submission Deadline : 2017-05-26

Categories : Robotics , Embedded Systems

Untitled Document

Symposium on Games, Automata, Logics, and Formal Verification(GandALF 2017)

September 20-22, 2017

Rome,Italy

Call for Papers:

The aim of GandALF 2017 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 idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

Topics:

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
Game Semantics
Games and Automata for Verification
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

Important Dates:

Paper Submission: May 26, 2017
Author Notification:July 07, 2017
Final Version Due : July 31, 2017

User Name : Claude
Posted 24-02-2017 on 14:45:26 AEDT

Related CFPs

ORAJ Operations Research and Applications: An International Journal
ICEEE 2026 9th International Conference on Electrical and Electronics Engineering
IJPLA International Journal of Programming Languages and Applications
IJPLA International Journal of Programming Languages and Applications