miteshjain's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
SecCo 2011 9th International Workshop on Security Issues in Concurrency
Sep 5, 2011 - Sep 5, 2011 Aachen, Germany Jun 3, 2011
CS&P 2011 International Workshop on Concurrency, Specification and Programming
Sep 28, 2011 - Sep 30, 2011 Pułtusk, Poland Jul 3, 2011
FM 2015 International Symposium on Formal Methods
Jun 22, 2015 - Jun 26, 2015 Oslo, Norway Jan 9, 2015 (Jan 2, 2015)
CONCUR-YR 2015 Young Researchers Workshop on Concurrency Theory
Sep 5, 2015 - Sep 5, 2015 Madrid Jul 13, 2015
VMCAI 2016 17th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 17, 2016 - Jan 19, 2016 St. Petersburg, Florida, United States Sep 11, 2015 (Sep 4, 2015)
FoSSaCS 2016 19th International Conference on Foundations of Software Science and Computation Structures
Feb 4, 2016 - Feb 8, 2016 Eindhoven, The Netherlands Oct 16, 2015 (Oct 9, 2015)
TACAS 2016 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Feb 4, 2016 - Feb 8, 2016 Eindhoven, The Netherlands Oct 16, 2015 (Oct 9, 2015)
first | previous | Page 1 | next | last Total of 8 CFPs in 1 pages