Program - FormaliSE 2026

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Keynote (I)FormaliSE Program at Oceania VIII

09:00 90m Keynote		Keynote: Sebastian Uchitel FormaliSE Program Sebastian Uchitel Imperial College London & University of Buenos Aires

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

14:00 - 15:30	Session 2: Verification, Synthesis & Automated ReasoningResearch Track / FormaliSE Program at Oceania VIII

14:00 30m Talk		Autofy: Automated Synthesis of Formally Verified Code Research Track Nils Purschke Technical University of Munich, André Schamschurko Technical University of Munich, Sven Kirchner Technical University of Munich, Chengdong Wu Technical University of Munich, Alois Knoll Technical University of Munich
14:30 30m Talk		Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications Research Track Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Luciano Putruele National University of Rio Cuarto, Renzo Degiovanni Luxembourg Institute of Science and Technology, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China
15:00 15m Talk		TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs Research Track Akash Kothari University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign
15:15 15m Talk		VeriROS: Verifiable ROS2 Navigation Execution Framework Research Track HUAN ZHANG Maynooth university, Hao Wu Maynooth University

16:00 - 17:30	Session 3: Formal Modeling, Specification & SemanticsResearch Track / FormaliSE Program at Oceania VIII

16:00 30m Talk		A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling Research Track Yue Zhou , Hugo A. López Technical University of Denmark
16:30 30m Talk		Cargo Sherlock: An SMT-Based Checker for Software Trust Costs Research Track Muhammad Hassnain University of California, Davis, Anirudh Basu University of California, Davis, Ethan Ng University of California, Davis, Caleb Stanford University of California, Davis
17:00 15m Talk		Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper) Research Track Emil Sekerinski McMaster University, Canada
17:15 15m Talk		Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone Research Track Manel Barkallah University of Namur, Jean-Marie Jacquet University of Namur

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Keynote (II)FormaliSE Program at Oceania VIII

09:00 90m Keynote		Keynote: Lina Marsso FormaliSE Program Lina Marsso Polytechnique Montreal

11:00 - 12:30	Session 4: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII

11:00 30m Talk		Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm Research Track Tom Levy University of Waikato, Steve Reeves University of Waikato
11:30 30m Talk		Domain-Guided Quantifier Instantiation with Yardbird Research Track Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA
12:00 15m Talk		From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems Research Track Minu Tiwari Siemens AG, Himanshu Kumar Singh Siemens AG
12:15 15m Talk		Test Data Selection by Failure Coverage Research Track Amani Ayad Mount Saint Vincent University, Ali Mili NJIT

14:00 - 15:30	Session 5: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII

14:00 30m Talk		Profile-Guided Constraint Simplification for Symbolic Execution Research Track Roxana Shajarian University of Nebraska-Lincoln, Md Rashedul Hasan University of Nebraska-Lincoln, Lisong Xu University of Nebraska-Lincoln, USA, Hamid Bagheri University of Nebraska-Lincoln
14:30 15m Talk		BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics Research Track Ahang Zuo Univ. de Pau et des Pays de l’Adour
14:45 15m Talk		Toward an automatic formal verification of Cairo v0 programs (Extended Abstract) Research Track Nicolas Nalpon Dowsers, Souheib Baarir Dowsers/LIP6, Hugo DE SA PEREIRA PINTO Dowsers

FormaliSE 2026 Program

This program is tentative and subject to change.

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

FormaliSE 2026 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Get Calendar (iCal)

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change