| Event | When | Where | Deadline | |
| POPL 2014 |
Symposium on Principles of Programming Languages | |
| Jan 22, 2014 - Jan 24, 2014 |
The US Grant, San Diego, CA, USA |
Jul 12, 2013 (Jul 5, 2013) |
| ICALP 2015 |
42nd International Colloquium on Automata, Languages, and Programming | |
| Jul 6, 2015 - Jul 10, 2015 |
Kyoto, Japan |
Feb 17, 2015 |
| MFCS 2015 |
40th International Symposium on Mathematical Foundations of Computer Science | |
| Aug 24, 2015 - Aug 28, 2015 |
Milano, Italy |
Apr 22, 2015 |
| GandALF 2015 |
The Sixth International Symposium on Games, Automata, Logics and Formal Verification | |
| Sep 21, 2015 - Sep 23, 2015 |
Genova |
May 29, 2015 (May 22, 2015) |
|
