All conferences / GandALF / 2014
GandALF 2014
5th International Symposium on Games, Automata, Logics, and Formal Verification
Submission timeline
- 27 May 2014 Abstract registration
- 1 Jun 2014 Full paper
- 3 Jul 2014 Notification
- 10 Sep 2014 Conference opens
What to submit
- Format
- 14 pages EPTCS
- Proceedings
- EPTCS — CC BY