The 289^th Ada-Europe International Conference on Reliable Software Technologies(AEiC 2025) is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the promotion and development of reliable software technologies.

The topics of interest for the conference include but are not limited to:

• Formal and model-based engineering of critical systems
• High-Integrity Systems and Reliability
• AI for High-Integrity Systems Engineering
• Real-Time Systems
• Ada Language
• Applications in relevant domains

More specific topics are described on the conference web page, at http://www.ada-europe.org/conference2025.

Guidelines

The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.

• Journal-track papers present research advances supported by solid theoretical foundation and thorough evaluation.
• Industrial-track contributions highlight the practitioners' side of a challenging case study or industrial project.
• Work-in-progress-track illustrates novel research ideas that are still at an initial stage, between conception and first prototype.
• Tutorials guide attenders through a hands-on familiarization with innovative developments or with useful features related to critical software.
• Workshops provide discussion forums on themes related to the conference topics.

Important Dates

• Deadline for submission of journal-track papers: 20 January 2025    
• Deadline for submission of industrial-track papers, work-in-progress papers, tutorial and workshop proposals: 24 February 2025    
• First round notification for journal-track papers, and notification of acceptance for all other types of submissions: 28 March 2025    
• Conference: 10-13 June 2025    

Committees

Conference Chair

Jean-Pierre Rosen, Adalog & Ada-France, rosen@adalog.fr

Journal track Co-Chairs

Laurent Pautet, Telecom Paris, laurent.pautet@telecom-paris.fr

Sara Royuela, Barcelona Supercomputing Center, sara.royuela@bsc.es

Industrial track Co-Chairs

Daniela Cancila, CEA LIST, daniela.cancila@cea.fr

Laurent Gouzenes, Pacte-Novation, lgouzenes@pactenovation.fr

Work-In-Progress track Co-Chairs

Hai Nam Tran, University of Brest, hai-nam.tran@univ-brest.fr

Anish Bhobe, Telecom Paris, anish.bhobe@telecom-paris.fr

Tutorial Chair

Robert Cholay, Systerel, robert.cholay@systerel.fr

Workshop Chair

Anish Bhobe, Telecom Paris, anish.bhobe@telecom-paris.fr

Exhibition & Sponsorship Chair

Ahlan Marriott, White Elephant GmbH, ahlan@ada-switzerland.ch

Finance Chair

Paul Duquennoy, paul.duquennoy@free.fr

Publicity Chair

Dirk Craeynest, Ada-Belgium & KU Leuven, dirk.craeynest@cs.kuleuven.be

Local Chair

Pierre Jouvelot, Mines Paris, PSL University, pierre.jouvelot@minesparis.psl.eu

Webmaster

Hai Nam Tran, University of Brest, hai-nam.tran@univ-brest.fr

Contact

All questions about submissions should be emailed to the respective chairs.