Share

Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)

Parole chiave:
  • Automata Theory;
  • Formal Methods;
  • Games;
  • Logics;
  • verification and validation
26 Sett 2018 - 09:00 - 28 Sett 2018 - 17:00
Location: 
Saarland University, Saarbrücken, Germany
Categoria dell'evento: 
Conferences & Workshops

The Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018) will be held in Saarbrücken (Germany) in September 2018. AndreA Orlandini and Martin Zimmermann (Saarland University, Germany) are the Program Chairs.

The aim of GandALF 2018 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.

For more information, visit https://www.react.uni-saarland.de/gandalf2018/index.html