GandALF 2019

The Tenth International Symposium on Games, Automata, Logics, and Formal Verification

2 - 3 September 2019, Bordeaux, France


grand_toits_25082014_p_calmettes_1.jpg

Crédit Photo : Thomas Sanson - Mairie de Bordeaux

Invited Speakers

Nathanaël Fijalkow (CNRS, France)

Quasi polynomial time Algorithms for Parity Games


Emmanuel Filiot (ULB, Belgium)

On Synthesis and Uniformisation Problems


Mariëlle Stoelinga (U Twente & Radboud University, Netherlands)

Tester versus Bug: Model-Based Testing via Game Theory


James Worrell (U Oxford, UK)

Orbit Problems for Linear Systems

 
Online user: 10