GandALF 2019, the Tenth International Symposium on Games, Automata, Logics, and Formal Verification

2-3 sept. 2019
LaBRI, Bat A 30, Université de Bordeaux, Talence, France. - Bordeaux (France)

http://gandalf2019.sciencesconf.org

Welcome to the home page of GandALF 2019, the Tenth International Symposium on Games, Automata, Logics, and Formal Verification that will be held in Bordeaux (France) in September 2019. The aim of GandALF 2019 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 idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.
Discipline scientifique : Informatique - Mathématique discrète - Logique en informatique

Lieu de la conférence
Personnes connectées : 131 |  Contact |  À propos |  RSS
Sitemap