| Event | When | Where | Deadline | |
| CSL 2013 |
22nd EACSL Annual Conference on Computer Science Logic | |
| Sep 2, 2013 - Sep 5, 2013 |
Torino, Italy |
Apr 8, 2013 (Apr 1, 2013) |
| 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) |
|
