Event | When | Where | Deadline | |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
SEW 2012 |
35th IEEE Software Engineering Workshop | |
Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
FSTTCS 2012 |
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
Dec 15, 2012 - Dec 17, 2012 |
Hyderabad, India |
Jul 13, 2012 |
|