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 |
|