Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event
Submitted by KNEW on Mon, 01/17/2022 - 2:27pm
CPS Rising Stars Workshop 2022 aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in Cyber-Physical Systems (CPS) related areas. CPS are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. CPS technologies are transforming the way people interact with engineered systems, just as the Internet has transformed the way people interact with information.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
event
Submitted by Anonymous on Mon, 03/16/2020 - 2:00pm
7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium
September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos
video
Submitted by Janos.Sztipanovits on Tue, 08/30/2011 - 6:35pm
event
Submitted by Anonymous on Thu, 07/20/2023 - 2:11pm
21st International Symposium on Automated Technology for Verification and Analysis
ATVA 2023 is the 21st International Symposium on Automated Technology for Verification and Analysis, dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between international research communities and industry in the field.
event
Submitted by akarns on Tue, 04/18/2023 - 11:04am
CREST 2023 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
The CREST workshop series center around the development of formal approaches to reasoning about causation in software and systems. The topics of formally identifying the cause(s) of specific events - usually some form of failures -, explaining why they occurred, and predicting certain outcomes are increasing in the focus of several, disjoint communities.
event
Submitted by akarns on Tue, 04/18/2023 - 10:58am
29th International Symposium on Model Checking of Software (SPIN 2023)
April 26-27, co-located with ETAPS 2023
ETAPS 2023 is scheduled to take place in Paris, organized by Sorbonne Universite.
event
Submitted by akarns on Tue, 04/18/2023 - 10:56am
28th International Symposium on Model Checking of Software (SPIN 2022)
The 28th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
event
Submitted by akarns on Tue, 04/18/2023 - 10:53am
27th International Symposium on Model Checking of Software (SPIN 2021)
The 27th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
event
Submitted by akarns on Tue, 04/18/2023 - 10:36am
Software Engineering and Formal Methods (SEFM 2021)
Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)
The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.
