25th Ada-Europe

International Conference on
Reliable Software Technologies
(AEiC 2020)

8-12 June 2020, Santander, Spain

The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020), scheduled to take place in Santander, Spain, in the week of 8-12 June, is cancelled due to the COVID-19 pandemic, and postponed to June 2021.

An updated Call for Contributions and new deadlines will be provided in due course. We look forward to seeing you in Santander in June 2021!

Latest News

March 21, 2020: AEiC 2020 postponed to June 2021

October 16, 2019: First Call for Contributions available

June 10, 2019: Preliminary Call for Contributions

June 5, 2019: Website online

Important Dates

Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals :

14 January 2020
(Extended submission)

Notification of acceptance for journal-track papers
and industrial presentations:

20 March 2020

Submission of Work-in-Progress (WiP) papers:

31 March 2020

Notification of acceptance for WiP papers:

30 April 2020

Scope

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:

  • Design and Implementation of Real-Time and Embedded Systems.
  • Design and Implementation of Mixed-Criticality Systems.
  • Theory and Practice of High-Integrity Systems.
  • Software Architectures for Reliable Systems.
  • Methods and Techniques for Quality Software Development and Maintenance.
  • Ada Language and Technologies.
  • Mainstream and Emerging Applications with Reliability Requirements.
  • Achieving and Assuring Safety in Machine Learning Systems.
  • Experience Reports on Reliable System Development.
  • Experiences with Ada.

Full details available in the Call for Contributions