GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Topics

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
GandALF 2014 © 2014 Frontier Theme