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) |
PDCAT 2012 |
The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies | |
Dec 14, 2012 - Dec 16, 2012 |
Beijing, China |
Jul 20, 2012 |
PDCS 2012 |
Parallel and Distributed Computing and Systems | |
Nov 12, 2012 - Nov 14, 2012 |
Las Vegas, USA |
Sep 7, 2012 |
FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
|