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