GandALF 2016 - Seventh International Symposium on Games, Automata, Logics and Formal Verification

Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.
The topics covered by the conference include, but are not limited to, the following:
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
Games and Automata for Verification
Game Semantics
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