Critical Systems

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
VECoS 2019 13th International Conference on Verification and Evaluation of Computer and Communication Systems
Oct 7, 2019 - Oct 9, 2019 Porto, Portugal May 8, 2019 (Apr 23, 2019)
MEMOCODE 2018 16th ACM-IEEE International Conference on Formal Methods and Models for System Design
Oct 15, 2018 - Oct 18, 2018 Beijing, China Jun 8, 2018 (Jun 1, 2018)
EDCC 2016 European Dependable Computing Conference
Sep 5, 2016 - Sep 9, 2016 Gothenburg, Sweden Mar 25, 2016 (Mar 18, 2016)
NFM 2016 NASA Formal Methods Symposium
Jun 7, 2016 - Jun 9, 2016 Minneapolis, MN, USA Feb 19, 2016
EDCC 2015 European Dependable Computing Conference
Sep 7, 2015 - Sep 11, 2015 Paris Mar 25, 2015
SBESC 2014 4th Brazilian Symposium on Computing Systems Engineering
Nov 3, 2014 - Nov 7, 2014 Manaus - Brazil Jul 20, 2014
ReTiMiCS 2013 1st workshop on Real-Time Mixed Criticality Systems
Aug 31, 2013 - Aug 31, 2013 Taipei, Taiwan Jun 9, 2013
FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems
Aug 27, 2012 - Aug 28, 2012 Paris, France Apr 4, 2012 (Mar 28, 2012)
ISARCS 2012 3rd International ACM Sigsoft Symposium on Architecting Critical Systems
Jun 26, 2012 - Jun 28, 2012 Bertinoro, Italy Feb 21, 2012 (Feb 14, 2012)
WCEMP 2008 The 2008 Workshop on Advanced Computing for Critical Systems and EMergency Preparedness and Response
Jul 12, 2008 - Jul 18, 2008 São Paulo - Brazil Mar 10, 2008
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages