GandALF 2014

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

Submission

Submissions must be in PDF or PS format and will be handled via EasyChair Conference system at the following address:
https://www.easychair.org/conferences/?conf=gandalf2014

Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org), 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