23rd International Conference on Reliable Software Technologies

Ada-Europe 2018

18-22 June 2018, Lisbon, Portugal

The 23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 will take place in Lisbon, Portugal. As per its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday.

The conference will provide an international forum for researchers, developers and users of reliable software technologies all over the world. Presentations and discussions cover applied and theoretical work currently conducted to support, the development and maintenance of reliable software systems.

We look forward to seeing you in Lisbon in June 2018!

Latest news

June 27, 2017: #ShareLisboa promotional video added - check and share!

June 12, 2017: Website online and Call for Contributions available

Scope

The conference has over the years become 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 representing industry, academia and government organizations active in the promotion and development of reliable software technologies. The Ada language, a reliable software technology by design, crosses all topics of the conference, which nonetheless also welcomes any other technologies proposed or in use for reliable software.

This edition of Ada-Europe features a focused Special Session on Security in Safety-Critical Systems. Safety-critical systems, on which we daily bet our lives, have become increasingly more complex, networked and distributed. In combination with the growing professionalism of adversarial teams, this demands not only for safe systems but systems that remain safe while under attacks. This session seeks (but is not limited to) contributions aiming at bridging the safety and security gap in cyber-physical and other safety-critical systems. Topics include: Software and System Aspects of Secure and Dependable CPS, Vulnerabilities and Protective Measures for Safety-Critical System Infrastructures, and Fault and Intrusion Tolerance and Long-Term Unattended Operation for Safety-Critical Systems. For further information please contact the Special Session Chair directly.

For the general track of the conference, topics of interest include but are not limited to: Real-Time and Embedded Systems, Mixed-Criticality Systems, Theory and Practice of High-Integrity Systems, Software Architectures, Methods and Techniques for Software Development and Maintenance, Formal Methods, Ada Language and Technologies, Software Quality, Mainstream and Emerging Applications, Experience Reports in Reliable System Development, Experiences with Ada.

The conference proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer, and will be available at the conference.

Ada-Europe will offer honorary awards for the best regular paper and the best presentation.

Full details availabe in the Call for Contributions.

Important Dates

Submission of regular papers, industrial presentations, tutorial and workshop proposals:

22 January 2018 (AoE)

Notification of acceptance to all authors:

9 March 2018

Camera-ready version of papers required:

24 March 2018

Industrial presentations, tutorial and workshop material required:

8 May 2018

Submissions

Authors for papers (both the general track and the special session) and industrial presentations shall submit their work via EasyChair at https://easychair.org/conferences/?conf=adaeurope2018.

Tutorial and Workshop proposals should be submitted by e-mail to the Tutorial and Workshop Chair.

Full details availabe in the Call for Contributions.

Sponsoring

The conference itself presents a unique event to promote Ada-related products and has also become a leading international gathering of users and developers of reliable software technologies.

With previous conferences attracting 100 to 150 participants, there will be representatives from the industrial community attending providing an excellent opportunity to liaise and discuss your products and offers.

Conference sponsors enjoy a whole range of benefits, including exhibition space for the highest levels. Please check the details available in the Sponsorship and Exhibition page.

Note that most packages can be modified to suit specific needs. Please contact one Exhibition Chair for further details.