| Event | When | Where | Deadline | |
| TbiLLC 2013 |
Tenth International Tbilisi Symposium on Language, Logic and Computation | |
| Sep 23, 2013 - Sep 27, 2013 |
Georgia |
May 1, 2013 |
| GandALF 2013 |
4th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Aug 29, 2013 - Aug 31, 2013 |
Borca di Cadore |
May 19, 2013 (May 13, 2013) |
|
