Event | When | Where | Deadline | |
SaFoMe 2014 |
1st International Workshop on Safety and Formal Methods | |
Sep 1, 2014 - Sep 1, 2014 |
Grenoble |
Jun 6, 2014 (May 23, 2014) |
SaFoMe 2015 |
2nd International Workshop on Safety and Formal Methods | |
Jun 22, 2015 - Jun 22, 2015 |
Oslo, Norway |
Mar 24, 2015 |
S4CIP 2016 |
1st International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection | |
May 23, 2016 - May 26, 2016 |
Madrid |
Jan 7, 2016 |
IJCCBS-SI 2016 |
Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection | |
N/A |
N/A |
Oct 15, 2016 |
S4CIP 2017 |
2nd International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection | |
Apr 29, 2017 - Apr 29, 2017 |
Paris, France |
Dec 22, 2016 (Dec 9, 2016) |
S4CIP 2018 |
3rd International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection | |
Apr 27, 2018 - Apr 27, 2018 |
London, United Kingdom |
Jan 25, 2018 |
VALUETOOLS 2019 |
12th EAI International Conference on Performance Evaluation Methodologies and Tools | |
Mar 12, 2019 - Mar 15, 2019 |
Palma de Mallorca |
Oct 5, 2018 (Sep 28, 2018) |
SICS 2019 |
1st International Workshop on Survivable Industrial Control Systems | |
Sep 17, 2019 - Sep 20, 2019 |
Naples, Italy |
Jun 7, 2019 |
|