Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event

Visible to the public  LOPSTR 2017
Oct 10, 2017 7:00 am - Oct 12, 2017 6:00 pm CEST

27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

(co-located with PPDP 2017)

forum

Visible to the public CfP SOCNE 2017 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments

CALL FOR PAPERS - Extended Deadline

11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2017)

in conjunction with IECON 2017 - 43rd Annual Conference on of the IEEE Industrial Electronics Society

Oct 29 - Nov 1, 2017 | Beijung, China | http://www.socne.org

forum

Visible to the public CfP: VECoS 2017

Call for Papers

event

Visible to the public  VECoS 2017
Aug 24, 2017 7:00 am - Aug 25, 2017 6:00 pm MDT

11th International Conference on Verification and Evaluation of Computer and Communication Systems

event

Visible to the public  RADIANCE 2017
Jun 26, 2017 7:00 am - Jun 26, 2017 6:00 pm MDT

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms

Co-located with DSN 2017

Critical systems are becoming more and more complex and heterogeneous, integrating previously
separate systems and including design solutions ranging from the introduction of software Off
The Shelf (OTS) to the adoption of loosely-integrated and composable services. Innovative
dependability assessment solutions and certification processes are thus needed to deal with

event

Visible to the public  2017 Safe and Secure Systems and Software Symposium (S5)
Aug 01, 2017 7:00 am - Aug 03, 2017 6:00 pm EDT

Registration for the 2017 Safe and Secure Systems and Software Symposium (S5) to be held from 1-3 August at the Crowne Plaza Dayton, Dayton, Ohio (near Wright Patterson Air Force Base) is Now OPEN!

Safe and Secure Systems and Software Symposium (S5)

The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2017 Safe and Secure Systems and Software Symposium (S5) on 1 - 3 August 2017 at The Crowne Plaza Dayton, Ohio. Please mark your calendars!

forum

Visible to the public CfP: FMICS-AVoCS 2017

CALL FOR PAPERS

International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

18-20 September 2017 | University of Torino, Italy | http://www.es.mdh.se/conferences/fmics-avocs-2017/

The conference is co-located with 13th International Conference on integrated Formal Methods (iFM 2017). All information regarding the venue, registration and accommodation can be found on iMF 2017 website http://ifm2017.di.unito.it/.

forum

Visible to the public CfP: FMICS-AVoCS 2017

CALL FOR PAPERS

International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

18-20 September 2017 | University of Torino, Italy | http://www.es.mdh.se/conferences/fmics-avocs-2017/

The conference is co-located with 13th International Conference on integrated Formal Methods (iFM 2017). All information regarding the venue, registration and accommodation can be found on iMF 2017 website http://ifm2017.di.unito.it/.