Call for Contributions: AEiC 2025

The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) will take place in Paris, France, from June 10-13, 2025.

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.

Scope and Topics

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

• Formal and model-based engineering of critical systems
  • Formal specification; Formal verification; Integrated methods for engineering reliable software-intensive systems; Formal architectural patterns; Multi-aspect modelling and verification; Model-based engineering of safety-critical systems.
• High-Integrity Systems and Reliability
  • Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities, Assurance Case;
  • Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development;
  • Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools.
• AI for High-Integrity Systems Engineering
  • AI for code generation, AI for test generation, AI for refactoring of code, AI for code comprehension, AI for program analysis;
  • Evaluation of how well AI solutions for software engineering perform (efficiency, accuracy, etc.)
  • Reliable/responsible/robust AI
• Real-Time Systems
  • Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance;
  • Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Architectures, Design Methods, Analysis Methods
• Domain applications
  • Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc;
  • Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics.
• Ada Language
  • Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK;
  • Experiences with Ada: Reviews of the Ada 2012 or 2022 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics.

Contribution Types and Deadlines

• Journal Track Submissions:

  • Deadline: February 7, 2025 (extended)
  • Accepted papers will be published in the Journal of Systems Architecture (JSA).
  • Submissions should be made online at https://www.editorialmanager.com/jsa/; select "VSI:AEiC2025" as the article type.
  • Authors of accepted papers will be invited to present at the conference.

• Industrial Track Submissions:

  • Deadline: March 7, 2025 (extended)
  • Contributions (one-to-two pages abstract) must be submitted via EasyChair in PDF format, following the Ada User Journal style.
  • Accepted authors will get a presentation slot and are invited to expand contributions for publication in the Ada User Journal.

• Work-in-Progress Track Submissions:

  • Deadline: March 7, 2025 (extended)
  • Submissions: 4-page papers for ongoing research, or 1-page papers for early-stage ideas.
  • Must be submitted via Easy Chair, strictly in PDF, following the Ada User Journal style.
  • Accepted authors will get a presentation slot and the opportunity to expand contributions for publication in the Ada User Journal.

• Workshop Proposals:

  • Deadline: March 7, 2025 (extended)
  • Proposals should be submitted to the chair, Anish Bhobe, with subject line: "[AEiC 2025: workshop proposal]".

• Tutorial Proposals:

  • Deadline: March 7, 2025 (extended)
  • Submissions should be sent by e-mail to the Tutorial Chair, Robert Cholay, with subject line: "[AEiC 2025: tutorial proposal]".
  • Proposals should include title, abstract (100-200 words), outline, duration, target audience, and motivation.

Notification and Conference Dates

• First round notification for journal-track papers, and notification of acceptance for all other types of submissions: March 28, 2025
• Conference Dates: June 10-13, 2025

Awards

An honorary award for the best technical presentation will be announced at the closing session.

Exhibition and Sponsorship

The conference will include a vendor and technology exhibition. Interested providers should direct inquiries to the Exhibition & Sponsorship Chair, Ahlan Marriott.

In Cooperation With

ACM, SIGPLAN, and Ada User Society.

Sponsors

Ada-Europe, Ada-France, Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris.