Friday, February 24, 2017

Symposium on Games, Automata, Logics, and Formal Verification(GandALF 2017)

September 20-22, 2017, Rome,Italy

Important Dates:

  • Paper Submission: May 26, 2017
  • Author Notification:July 07, 2017
  • Final Version Due : July 31, 2017