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 CFP: IEEE International Conference on Assured Autonomy (ICAA)


IEEE International Conference on Assured Autonomy (ICAA)

June 6-8, 2023 | The Johns Hopkins University Applied Physics Laboratory, Maryland |

Important Dates


Visible to the public  GRAIC'23 Autonomous Racing Competition (with CPS-IoTWeek)
May 01, 2023 10:30 am - May 09, 2023 5:30 pm EDT

Generalized RAcing Intelligence Competition (GRAIC) is a simulated vehicle race co-located with CPS-IOT Week 2023. GRAIC brings together researchers in AI, planning, synthesis, and control to create a platform for comparing different algorithms for controlling vehicles in dynamic and uncertain environments.


Visible to the public Doctoral Researchers / PhD Students / exceptional Postdocs 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, Karlsruhe, is recruiting a PhD Student or Doctoral Researcher (full-time, about EU4200-4800 gross by TVL E13 depending on experience). Exceptionally qualified applicants for postdoc positions may be considered as well.


Visible to the public  CPS&IoT’2023
Jun 06, 2023 7:00 am - Jun 10, 2023 7:00 pm EDT

11th International Conference on Cyber-Physical Systems

Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.


Visible to the public  AEiC 2023
Jun 13, 2023 7:00 am - Jun 16, 2023 7:00 pm WEST

The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023 aka Ada-Europe 2023) will take place in Lisbon, Portugal. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.


Visible to the public CfP: NASA Formal Methods Symposium 2023


NASA Formal Methods Symposium 2023

Important Dates AoE (UTC-12h)