The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023 aka Ada-Europe 2023) will take place in Lisbon, Portugal. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.
Latest News
Post conference: The AEiC 2023 journal track special issue papers are available online as soon as published.
12 June 2023: Ada-Europe 2023 booklet of presentation is published
06 June 2023: Ada-Europe 2023 program is published
12 May 2023: Announcement of keynote talk by Alcides Fonseca and panel discussion with Douglas Schmidt, Jochen Quante, Jon Pérez Cerrolaza, and Björn Andersson.
10 May 2023: Conference schedule is published.
10 April 2023: Registration website is open. Conference program synopsis is published.
06 April 2023: Tutorials of AEiC 2023 are published
10 March 2023: Announcement of ADEPT and DeCPS satelite workshops
13 January 2023: Submission portal for journal-track papers is open
24 November 2022: Call for industrial papers and call for tutorial proposals are published.
01 November 2022: Call for workshop proposals is published.
26 October 2022: Call for work-in-progress submissions is published.
20 October 2022: Call for journal-track submissions is published.
01 October 2022: Website online.
Scope and Topics
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
- 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.
- 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
-
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;
- 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.
- 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.
-
Domain applications
- Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc;
- Achieving and Assuring Safety in Machine Learning Systems;
- Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics.