pomarien's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
VMCAI 2012 13th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 22, 2012 - Jan 24, 2012 Philadelphia, USA Aug 19, 2011 (Aug 12, 2011)
ACSD 2012 12th International Conference on Application of Concurrency to System Design
Jun 27, 2012 - Jun 29, 2012 Hamburg, Germany Jan 20, 2012 (Jan 13, 2012)
CAV 2012 24th International Conference on Computer Aided Verification
Jul 7, 2012 - Jul 13, 2012 Berkeley, CA, USA Jan 22, 2012 (Jan 15, 2012)
SEFM 2012 10th International Conference on Software Engineering and Formal Methods
Oct 1, 2012 - Oct 5, 2012 Thessaloniki, Greece Apr 19, 2012 (Apr 4, 2012)
SACPS 2015 The First International Workshop on Security Aspects of Cyber Physical Systems
Jun 2, 2015 - Jun 5, 2015 London, United Kingdom Feb 10, 2015
CPPS 2018 CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES
Nov 5, 2018 - Nov 8, 2018 Leuven, Belgium Aug 23, 2018
SSCC 2021 Symposium on Solutions for Smart Cities Challenges
Dec 6, 2021 - Dec 6, 2021 Gandia, Spain Oct 20, 2021 (Oct 15, 2021)
first | previous | Page 1 | next | last Total of 12 CFPs in 1 pages