GandALF 2014

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


Submissions must be in PDF or PS format and will be handled via EasyChair Conference system at the following address:

Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission.

GandALF 2014 © 2014 Frontier Theme