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
Submitted by akarns on Wed, 12/07/2022 - 1:08pm
CALL FOR PAPERS
Important Dates AoE (UTC-12h)
event
Submitted by Anonymous on Wed, 12/07/2022 - 1:03pm
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
Submitted by Anonymous on Wed, 12/07/2022 - 12:39pm
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
Submitted by Anonymous on Wed, 12/07/2022 - 9:35am
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.
forum
Submitted by Anonymous on Wed, 09/21/2022 - 10:07am
event
Submitted by Anonymous on Wed, 09/21/2022 - 9:52am
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
forum
Submitted by Andre Platzer on Tue, 07/12/2022 - 3:33am
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
Submitted by ttj on Thu, 05/19/2022 - 10:56am
event
Submitted by akarns on Wed, 03/23/2022 - 11:55am
forum
Submitted by nicopao on Tue, 02/15/2022 - 6:33am
- 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.