GandALF is a Computer Science Symposium that aims to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification.  It has been running for over 15 years and covers an ample spectrum of themes, from theory to applications with the aim of stimulating cross-fertilization. The topics covered by the symposium 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

Probabilistic Models (Markov Decision processes)

Program Analysis and Software Verification

Reinforcement Learning

Run-time Verification and Testing

Specification and Verification of Finite and Infinite-state Systems

Synthesis