| Event | When | Where | Deadline | |
| CONCUR 2012 |
23rd International Conference on Concurrency Theory | |
| Sep 3, 2012 - Sep 8, 2012 |
Newcastle upon Tyne, UK |
Apr 11, 2012 (Apr 4, 2012) |
| TCS 2012 |
IFIP Theoretical Computer Science 2012 | |
| Sep 26, 2012 - Sep 28, 2012 |
Amsterdam, The Netherlands |
May 1, 2012 |
| INFINITY 2012 |
14th International Workshop on Verification of Infinite-State Systems | |
| Aug 27, 2012 - Aug 27, 2012 |
Paris |
May 15, 2012 |
| 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 |
| SETScholars 2012 |
Journals for Science Engineering and Technology Scholars | |
| N/A |
N/A |
Dec 31, 2012 |
| IJCB 2013 |
International Journal of Computational Bioscience | |
| Jan 1, 2013 - Dec 31, 2013 |
International |
Dec 31, 2013 |
|
