Validation and Verification

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.

Visible to the public  CPS Rising Stars Workshop 2022
May 26, 2022 7:00 am - 6:00 pm EDT

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.


Visible to the public  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

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.


Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium

September 22-24, 2020 | Virtually hosted by the University of Kansas |


Visible to the public  HSCC 2023
May 09, 2023 7:00 am - May 12, 2023 6:00 pm CDT

26th ACM International Conference on Hybrid Systems: Computation and Control

9-12 May 2023 | San Antonio, TX, USA


Visible to the public PhD Student or Postdoc Position in Alexander von Humboldt Professor group

The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.


Visible to the public 2022 AINNCS Benchmarks

We will discuss the 2022 ARCH-COMP AINNCS benchmarks here. We plan to mostly reuse the 2021 benchmarks, which were also mostly used in the 2020 edition.

2021 benchmarks:

2021 report "ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants":


Visible to the public  STS 2022
Jun 20, 2022 7:00 am - Jun 22, 2022 6:00 pm CEST

5th International Symposium on Smart Transportation Systems

June 20 - 22, 2022 | Rhodes, Greece |


Visible to the public Post-doc on model-based security of medical cyber-physical systems

- Application deadline: Midnight, 25 March 2022 (GMT)

- Starting date: 1 July 2022

- Salary: starting from PS36,438 p.a. (inclusive of London allowance)

- Duration: until June 2025

- Where: Royal Holloway, University of London

We have a post-doc opportunity on the EPSRC project "MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems", led by Nicola Paoletti.