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) |
PDMC 2012 |
11th International Workshop on Parallel and Distributed Methods in verifiCation | |
Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jun 1, 2012 (May 25, 2012) |
PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
Network Intelligence 2012 |
Call for Book Chapters: Distributed Network Intelligence, Security and Applications | |
Aug 1, 2012 - Apr 1, 2013 |
CRC Press - Taylor & Francis Group, USA |
Aug 1, 2012 |
IJCB 2013 |
International Journal of Computational Bioscience | |
Jan 1, 2013 - Dec 31, 2013 |
International |
Dec 31, 2013 |
|