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