ilhkit2's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

modeling spesification

 Sort by 
 
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
first | previous | Page 1 | next | last Total of 9 CFPs in 1 pages