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.
forum

Visible to the public CfP: NASA Formal Methods Symposium 2023

CALL FOR PAPERS

NASA Formal Methods Symposium 2023

Important Dates AoE (UTC-12h)

event

Visible to the public  NFM 2023
May 16, 2023 7:00 am - May 18, 2023 7:00 pm CDT

NASA Formal Methods Symposium 2023

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

event

Visible to the public  ICST 2023
Apr 16, 2023 7:00 am - Apr 20, 2023 7:00 pm CEST

16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)

The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2023 will include keynote addresses by eminent scientists as well as special, regular, and poster sessions.

event

Visible to the public  SafeAI 2023
Feb 13, 2023 7:00 am - Feb 14, 2023 7:00 pm EST

The AAAI's Workshop on Artificial Intelligence Safety

The accelerated developments in the field of Artificial Intelligence (AI) hint at the need for considering Safety as a design principle rather than an option. However, theoreticians and practitioners of AI and Safety are confronted with different levels of safety, different ethical standards and values, and different degrees of liability, that force them to examine a multitude of trade-offs and alternative solutions.

event

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

forum

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.

forum

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:

https://github.com/verivital/ARCH-COMP2021

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

https://easychair.org/publications/paper/Jq4h

event

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 | http://sts-22.kesinternational.org/

forum

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.