Overview
The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) will take place in Paris, France, and will be an in-presence only event. The conference schedule comprises a keynote and an invited talk, a panel with invited experts, a journal 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, 10th June Tutorials |
T1: Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms |
Welcome Reception: Table du Luxembourg |
|||
| T2: Multiple Double and Multiword Arithmetic | T3: Unleash the Power of Ada Generics | ||||
| T4: Turning your Programming Language into a Modeling Language | T5: Introduction to the ALiRe Package Manager | ||||
| Wednesday, 11th June Technical Presentations |
Keynote | Session 1: Secure Distributed Systems | Invited talk | Session 3: Multi-core Architectures |
Conference Banquet: Bouillon Racine |
| Session 2: Ada and Modelling | |||||
| Thursday, 12th June Technical Presentations |
Keynote | Session 4: Embedded Systems | Session 5: Real-time and Safety | Session 6: Applications |
Post conference chill-out: Café Latin |
| Friday, 13th June Satellite Events |
Workshop 1: DeCPS (Challenges and New Approaches
for Dependable and Cyber-Physical System Engineering) |
||||
| Workshop 2: ADEPT (AADL by its practitioners) | |||||
| Workshop 3: Ada Developers | |||||
Conference Core Composition
The core conference program features seven 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 |
|---|---|
| Journal-track talk | 30 minutes |
| Industrial-track talk | 20 minutes |
| Work-in-progress-track talk | 20 minutes |
| Vendor | 20 minutes |
| Keynote | 1 hour |
| Inivited talk | 30 minutes |
All papers presented at the conference in the journal track, the 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, 10 June | |
|---|---|
| 19:00 - 21:00 | Welcome reception at Table du Luxembourg |
| Wednesday, 11 June | |
|---|---|
| 08:30 - 09:00 | Registration |
| 09:00 - 09:15 | Welcome & Opening |
| 09:15 - 10:15 |
Keynote talk
Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code Stefano Zacchiroli, Télécom Paris, Polytechnic Institute of Paris |
| 10:15 - 11:00 | Break |
| 11:00 - 12:30 |
Session 1: Secure Distributed Systems
|
|
Live migration of compiled Wasm modules across the Compute Continuum
Edoardo Tinto, Luca Marchiori, Tullio Vardanega |
|
| Pacte Novation | |
|
Automated Execution of Attack Chains to Train Data-driven IDS in Cyber-physical Systems
Diogo Pedro, José Cecílio, Pedro M. Ferreira, Alan O. de Sá |
|
|
LLM-based Framework for Email Classification and Phishing
Nuno Costa, José Cecílio, Ruben Salgueiro, Mauricio Rosa, Dulce Domingos |
|
| 12:30 - 14:00 | Lunch |
| 14:00 - 14:30 |
Invited talk
Language ownership: key moments in the lifetime of Ada Tullio Vardanega, University of Padua |
| 14:30 - 15:40 | Session 2: Ada and Modelling |
|
Reachability Analysis of Hybrid Rebeca Model
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, Marjan Sirjani |
|
|
KM3: a generic preprocessor with macros and diagrams to Ada and other languages
Laurent Gouzenes |
|
|
Archaeology for the future - Ada on OpenVMS
Gérard Calliet |
|
| 15:40 - 16:15 | Break |
| 16:15 - 17:25 | Session 3: Multi-core Architectures |
|
Taking a Closer Look at Memory Interference Effects in Commercial-off-the-Shelf
Multicore SoCs
Lorenzo Carletti, Andrea Serafini, Gianluca Brilli, Alessandro Capotondi, Alessandro Biasci, Paolo Valente, Andrea Marongiu. |
|
|
Task-to-Accelerator Mapping for Heterogeneous Systems Using Heuristics
Mohammad Samadi, Tiago Carvalho, Luis Miguel Pinho, Sara Royuela |
|
|
Adding support for explicit preemption points to a non-preemptive Ada RTOS
Mario Aldea Rivas, Hector Perez Tijero, Juan Romón Peña, J. Javier Gutiérrez |
|
| 20h00 - 23:00 | Conference Banquet at Bouillon Racine |
| Thursday, 12 June | |
|---|---|
| 09:15 - 10:15 |
Keynote talk
Certification of Machine Learning Based System - Contribution of Formal Verification Claire Pagetti, ONERA |
| 10:15 - 11:00 | Break |
| 11:00 - 12:30 |
Session 4: Embedded Systems
|
|
A Transformation Strategy for Process Partitioning in Hierarchical Concurrent Process
Networks
Fahimeh Bahrami, Ingo Sander |
|
| Emenda France | |
|
Development and Management of Digital Twins for Energy Monitoring Systems
Tiago Carvalho, Luis Miguel Pinho, Pedro Paiva |
|
|
Enhancing Multivariable Model Predictive Control with a Reliable Prediction Horizon
Approach
Alexandre Geraldo, José Cecílio, Pedro M. Ferreira, António Casimiro, Alan Oliveira de Sá |
|
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:30 | Session 5: Real-time and Safety |
|
Real-Time Probabilistic Programming
Lars Hummelgren, Matthias Becker, David Broman |
|
|
Dynamic system model generation for online FDD of robotics systems
Johannes Kohl, Georg Muck, Georg Jäger, Sebastian Zug |
|
|
Verified SAT Redundancy Checking in SPARK
Johannes K Fichte, Tobias Philipp |
|
|
Reasoning about Subprogram Termination in SPARK
Claire Dross, Joffrey Huguet, Johannes Kanig |
|
| 15:30 - 16:00 | Break |
| 16:00 - 17:10 | Session 6: Applications |
|
Feasibility of Deep Reinforcement Learning for the Real-Time Attitude Control of a
Satellite System
Ángel-Grover Pérez-Muñoz, Guillermo López-García, Irene García-Villoria, Alejandro Alonso, Angel Porras-Hermoso |
|
|
Method and feedback on Ada application ports
Robert Cholay, Natacha Porté |
|
|
Ariane 6 flight software: Lessons learned
David Lesens |
|
| 17:15 - 17:30 | Closing of Core Program |
| 19:15 - 23:00 | Conference chill-out at Café Latin |