Theoretical aspects of cyber-physical systems.
event
Submitted by KNEW on Mon, 06/10/2013 - 11:54pm
The fourth annual CPS PI Meeting will be held Thursday and Friday, October 17-18, 2013 at the Crystal Gateway Marriott Hotel in the Crystal City section of Arlington, Virginia near the Crystal City Metro and Reagan Washington National Airport (DCA).
event
Submitted by akarns on Tue, 04/18/2023 - 11:30am
10th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems
The workshop will be held as part of the Cyber-Physical Systems and Internet-of-Things Week, May 3-6, 2022
Technically co-sponsored by the IEEE Industrial Electronics Society
Workshop chairs:
event
Submitted by akarns on Tue, 04/18/2023 - 11:27am
11th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems
The workshop will be held as part of the Cyber-Physical Systems and Internet-of-Things Week 2023.
Technically co-sponsored by the IEEE Industrial Electronics Society
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.
event
Submitted by akarns on Tue, 04/18/2023 - 10:16am
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2021)
FormaliSE 2021 will take place from May 17 2021 to May 21 2021, in Madrid, Spain, as a co-hosted conference of the International Conference on Software Engineering (ICSE2021)
event
Submitted by akarns on Tue, 04/18/2023 - 10:13am
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2022)
FormaliSE 2022 will take place from May 22 2022 to May 23 2022, in Pittsburgh, PA, USA, as a co-hosted conference of the International Conference on Software Engineering (ICSE2023)
