The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025 aka Ada-Europe 2025) will take place in Paris, France. The conference schedule comprises invited talks, a journal track, an industrial track, a work-in-progress track, exhibition, parallel tutorials, and satellite workshops.
The conference 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
- Domain applications
- Ada Language
