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) |
|