FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026

This program is tentative and subject to change.

Sun 12 Apr 2026 12:15 - 12:30 at Oceania VIII - Session 1: AI and Safety

The integration of AI components, particularly Deep Neural Networks (DNNs), into safety-critical systems such as aerospace and autonomous vehicles presents fundamental challenges for assurance. The opacity of AI systems, combined with the semantic gap between high-level requirements and low-level network representations, creates barriers to traditional verification approaches. These AI-specific challenges are amplified by longstanding issues in Requirements Engineering, including ambiguity in natural language specifications and scalability bottlenecks in formalization. We propose an approach that leverages AI itself to address these challenges through two complementary components. REACT (Requirements Engineering with AI for Consistency and Testing) employs Large Language Models (LLMs) to bridge the gap between informal natural language requirements and formal specifications, enabling early verification and validation. SemaLens (Semantic Analysis of Visual Perception using large Multi-modal models) utilizes Vision Language Models (VLMs) to reason about, test, and monitor DNN-based perception systems using human-understandable concepts. Together, these components provide a comprehensive pipeline from informal requirements to validated implementations.

This program is tentative and subject to change.

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Session 1: AI and SafetyResearch Track / FormaliSE Program at Oceania VIII
11:00
30m
Talk
Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory
Research Track
Diego Perez-Palacin Linnaeus University, Kenneth Johnson Auckland University of Technology, Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
11:30
30m
Talk
Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Research Track
Yasmeen Rafiq University of Manchester, Christopher Bishop University of Manchester, Simon Watson University of Manchester, Louise Dennis University of Manchester, Frederic Wheeler University of Manchester, John Brotherhood University of Manchester, Marti Morta Garriga University of Manchester, Robert Hierons The University of Sheffield
12:00
15m
Talk
Verification-Aware Convolution Neural Networks for Speech Recognition: A case study
Research Track
Syed Ali Asadullah Bukhari Maynooth University, Rosemary Monahan National University of Ireland, Barak A. Pearlmutter National University of Ireland
12:15
15m
Talk
Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
Research Track
Anastasia Mavridou KBR / NASA Ames Research Center, Divya Gopinath KBR; NASA Ames, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames