Overview
The 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) will take place in Vasteras, Sweden, and will be an in-presence only event. The conference schedule comprises keynotes, a journal track, a regular papers track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.
The call for contributions is available on this page.
Conference Program Synopsis
| Morning | Before Lunch | After Lunch | Afternoon | Evening | |
|---|---|---|---|---|---|
| Tuesday, 9th June Tutorials |
T1: Get Started with Formal Methods for Safety and Security Using SPARK |
Welcome Reception: Piccolo |
|||
| T2: Introduction to Ada | T3: Advanced Ada | ||||
| T4: From Cloud to Bareboard Separating Application and Infrastructure with WebAssembly | T5: Writing Desktop Graphical User Interfaces in Ada | ||||
| Wednesday, 10th June Technical Presentations |
Keynote: From Virtual Prototyping to Digital Twin Engineering | Session 1: Real-Time and Trustworthy Software Platforms | Session 2: Ada, Multicore, and Parallel Real-Time Programming | Session 3: Energy-Aware Real-Time Scheduling and Runtime Support |
Conference Banquet: Petterssons Matservice |
| Thursday, 11th June Technical Presentations |
Keynote: Bootstrapping Coding Agents: The Specification Is the Program | Session 4: AI and Autonomous Systems | Session 5: Formal Models, Digital Twins, and Dependability | Session 6: Cyber-Physical Dataflows, Distributed Applications, and Validation |
Post conference chill-out Djaknebergets restaurant |
| Friday, 12th June Satellite Events |
Workshop 1: 3rd Ada Developers Workshop, Room U2-158 | ||||
| Workshop 2: Workshop on Digital Twin Experiences and Model-Based Testing Methods, Room Ypsilon | |||||
Conference Core Composition
The core conference program features six distinct types of technical presentations, with different duration, all followed by various manners of discussion time. In the visual synopsis of the program schedule, each distinct presentation type is denoted by a specific colour code.
| Colour Code | Duration |
|---|---|
| Keynote | 1 hour |
| Journal-track talk | 25 minutes |
| Regular-track talk | 20 minutes |
| Industrial-track talk | 15 minutes |
| Work-in-progress-track talk | 10 minutes |
All papers presented at the conference in the journal track, the regular track, industrial track and the work-in-progress track have undergone peer review. All track chairs took it on themselves to assure that the review process was strictly free of conflict of interests between authors and reviewers.
It is a characterizing trait of the AEiC conference series that the presentations of such diverse contributions are combined into by-theme and not by-track presentation sessions, in order that authors and participants alike all enjoy all flavours of the program in a mixed as opposed to segregated combination.
Conference Core Schedule
| Tuesday, 9 June | |
|---|---|
| 08:30 - 09:00 | Registration (MDU main entrance hall) |
| 10:30 - 11:00 | Coffee break |
| 12:30 - 14:00 | Lunch |
| 15:30 - 16:00 | Coffee break |
| 19:00 - 22:30 | Welcome reception at Piccolo Västerås |
| Wednesday, 10 June | |
|---|---|
| 08:30 - 09:00 | Registration (MDU main entrance hall) |
| 09:00 - 09:15 | Welcome and Opening, Cristina Seceleanu, and Kristina Lundqvist, Mälardalen University |
| 09:15 - 09:25 | Presentation of Ada User Society, Tullio Vardanega |
| 09:25 - 10:40 (Room: Beta) |
Keynote talk: From Virtual Prototyping to Digital Twin Engineering, Prof. Mark van den Brand, Chair: Cristina Seceleanu, Mälardalen University |
| 10:40 - 10:55 | Coffee break |
| 10:55 - 12:10 (Room Beta) |
Session 1: Real-Time and Trustworthy Software Platforms, Chair: Peter Backeman, Mälardalen University |
| 10:55 Minimal simulation interval for periodic task schedulers Damien Guidolin-Pina, Emmanuel Grolleau, Frank Singhoff and Hai Nam Tran |
|
| 11:20 A Flexible Ada Framework for Jitter-Sensitive
Mixed-Criticality Real-Time Systems Sergio Sáez Barona and Jorge Real Sáez |
|
| 11:40 Discovering and Repairing Binaries C Flaws
without Requiring Codebase and Instrumentation Diogo Ferreira and Ibéria Medeiros |
|
| 12:00 DELEGATE-RATS: Delegated Group Attestation for Trust and
Efficiency in RATS Maria Gomes da Silva, João Garcia, André Souto, Pedro Ferreira, António Casimiro and José Cecílio |
|
| 12:10 - 13:40 (Rosenhill) |
Lunch |
| 13:40 - 15:00 (Room Beta) |
Session 2: Ada, Multicore, and Parallel Real-Time Programming, Chair: Tommaso Cucinotta, Scuola Superiore Sant'Anna |
| 13:40 A Predictible Inter-Core Communication Model for AMP on
Multi-Core Sebastien Levieux, Stephane Rubini, Frank Singhoff, Lucas Mine, Philippe Plasson, Pierre-Vincent Gouel and Lee-Roy Malac-Allain |
|
| 14:05 A Certifiable Approach to Multicore Using Ada Jose Ruiz |
|
| 14:25 Implementing Ada 2022 Parallel
Constructs S Tucker Taft, Ethan Luis McDonough and Richard Wai |
|
| 14:40 A Rust Framework for Real-Time Parallel Programming Hugo Silva, Tiago Carvalho and Luis Miguel Pinho |
|
| 15:00 - 15:30 | Coffee break |
| 15:30 - 16:40 (Room Beta) |
Session 3: Energy-Aware Real-Time Scheduling and Runtime Support, Chair: Tiberiu Seceleanu, Mälardalen University |
| 15:30 Optimizing the Deployment of Real-Time OpenMP Applications for
Energy Efficiency Federico Aromolo, Francesco Paladino, Luca Abeni and Tommaso Cucinotta |
|
| 15:55 HELIOS: Lightweight Real-Time Scheduling with Energy Readiness
Guarantees Ruizhe Qiu, Thomas Robert, Samuel Tardieu, Laurent Pautet and Frank Singhoff |
|
| 16:20 Task-Based Constant Bandwidth Server in the
Zephyr Operating System Alexander Paschoaletto, Paulo Baltarejo Sousa, Luis Miguel Pinho and Tiago Carvalho |
|
| 18:00 - 22:00 | Conference banquet at Petterssons
Matservice The busses towards Petterssons Matservice are leaving from outside of MDU entrance at 18:00. |
| Thursday, 11 June | |
|---|---|
| 08:30 - 09:00 | Registration (MDU main entrance hall) |
| 09:00 - 10:15 (Room: Beta) |
Keynote talk: Bootstrapping Coding Agents: The Specification Is the Program, Prof. Martin Monperrus, Chair: Kristina Lundqvist, Mälardalen University |
| 10:15 - 10:45 | Coffee break |
| 10:45 - 12:00 (Room Beta) |
Session 4: AI and Autonomous Systems, Chair: Luis Miguel Pinho, Polytechnic Institute of Porto |
| 10:45 I-Segmenter: Integer-Only Vision Transformer for Efficient
Semantic Segmentation Martyna Poreba, Jordan Sassoon and Michal Szczepanski |
|
| 11:10 Model-agnostic Uncertainty-aware Semantic Segmentation with
Conformal Risk Guarantees Bakary Badjie, José Cecílio, Nils-Jonathan Friedrich, Norman Seyffer, Georg Jäger and António Casimiro |
|
| 11:30 Generative Digital Twin Framework for Reliable and Robust
AI-Powered Prognostic Systems Zafer Yigit, Hakan Forsberg and Masoud Daneshtalab |
|
| 11:45 Finding ODD gaps Martin Skoglund |
|
| 12:00 - 13:40 (Rosenhill) |
Lunch |
| 13:40 - 15:00 (Room Beta) |
Session 5: Formal Models, Digital Twins, and Dependability, Chair: Antonio Filieri, Amazon Web Services |
| 13:40 A Quantitative Type Based Framework for Synchronous System
Design Rui Chen and Ingo Sander |
|
| 14:05 Dependable software engineering: Can we increase trust in our
components? Marcelo Pasin, Kleiton Pereira, Titus Abele, Guilherme Piêgas Koslovski and Thomas Niederberger |
|
| 14:30 HASCO: A Hybrid AI Simulation Compiler for
Semantic Accident Reconstruction Edin Jelacic, Tiberiu Seceleanu, Cristina Seceleanu, Peter Backeman, Ning Xiong, Rong Gu, Zhennan Fei and Ali Nouri |
|
| 14:50 Contract-Based Runtime Monitoring for a Smart House Digital
Twin Muhammad Naeem, Cristina Seceleanu and Tiberiu Seceleanu |
|
| 15:00 - 15:30 | Coffee break |
| 15:30 - 16:45 (Room Beta) |
Session 6: Cyber-Physical Dataflows, Distributed Applications, and Validation, Chair: Malvina Latifaj, Mälardalen University |
| 15:30 Packet-Based Data Latency and Schedulability Optimization in
Directed Acyclic Graphs of Multirate Automotive Cause-Effect
Chains Muhammad Tanveer Ali Ahmad, Jesus Pestana and Marcel Baunach |
|
| 15:55 Task-to-Accelerator Mapping for Predictable OpenMP
Applications Mohammad Samadi, Tiago Carvalho, Luís Miguel Pinho and Sara Royuela |
|
| 16:20 System Architecture for AI-Enabled Monitoring
in Distributed Indoor Farming Systems Sepehr Mousavi and Baran Curuklu |
|
| 16:35 A Layered Approach to Simulation-Based Validation in Robotic
Applications Gema Rincon, Carlos Fernando Nicolas, Irune Yarza and Tomaso Poggi |
|
| 16:45 - 17:15 | Best paper and presentation awards, presentation of AEiC 2027 and Closing of Core Program, Cristina Seceleanu and Kristina Lundqvist, Mälardelen University |
| 19:00 - 22:00 | Conference chill-out at Djaknebergets restaurant |