Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
forum
Submitted by Anonymous on Mon, 05/08/2017 - 2:58pm
CALL FOR PAPERS
(co-located with PPDP 2017)
University of Namur, Namur, Belgium | October 10 - 12, 2017 | https://www.sci.unich.it/lopstr17/
DEADLINES:
- Abstract submission: June 6, 2017
- Paper/Extended abstract submission: June 13, 2017
INVITED SPEAKERS: to be announced
event
Submitted by Anonymous on Mon, 05/08/2017 - 2:52pm
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
(co-located with PPDP 2017)
forum
Submitted by Anonymous on Wed, 05/03/2017 - 4:35pm
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
Submitted by Anonymous on Fri, 04/14/2017 - 3:53pm
event
Submitted by Anonymous on Fri, 04/14/2017 - 3:51pm
11th International Conference on Verification and Evaluation of Computer and Communication Systems
forum
Submitted by Anonymous on Mon, 03/06/2017 - 4:21pm
forum
Submitted by Anonymous on Mon, 03/06/2017 - 4:21pm
event
Submitted by Anonymous on Mon, 03/06/2017 - 4:18pm
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
Submitted by Anonymous on Mon, 03/06/2017 - 3:09pm
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
Submitted by Anonymous on Mon, 03/06/2017 - 1:35pm
