GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Important dates

  • May 10, May  27, Abstract submission
  • May 25, June 1, Paper submission
  • June 25, July 3,  Notification
  • July 25, Camera-ready submission
GandALF 2014 © 2014 Frontier Theme