Critical Systems

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
AI4RAILS 2021 Artificial Intelligence for RAILwayS
Jul 11, 2021 - Jul 14, 2021 Athens (online) Mar 28, 2021
LADC 2020 10th Latin-American Symposium on Dependable Computing
Nov 24, 2020 - Nov 27, 2020 Florianópolis, Brazil Aug 2, 2020
BWare 2019 I Brazilian Workshop on lArge-scale cRitical systEms
Sep 23, 2019 - Sep 27, 2019 Salvador/Brazil Jul 8, 2019
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 13 CFPs in 1 pages