The aim of the GandALF 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 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LABRI laboratory.

The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization. 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
    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