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 24, 2018: Keynote presentations and paper/industrial presentations are now available on the keynotes and sessions pages.

June 21, 2018: The Best Paper and the Best Presentation Award winners were, respectively, the paper entitled Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar, by Jorge Real, Sergio Sáez and Alfons Crespo, and the presentation by Andreas Wortmann on Applying Formal Timing Analysis to Satellite Software. Congratulations!

June 12, 2018: The conference proceedings, published by Springer Verlag, are available as Lecture Notes in Computer Science Vol. 10873

June 9, 2018: The RUME Workshop program is available and information of rooms for tutorials, workshops and co-located meetings was added or updated

May 25, 2018: The Ada-Europe 2018 Final Program is available

April 20, 2018: New information about welcome reception: Sunset boat tour on Tagus river

March 20, 2018: Registration for Ada-Europe 2018 is open

January 18, 2018: Submission deadline extended to February 5

November 20, 2017: Submissions are now open. Instructions, links and forms are available on the Submissions page

November 9, 2017: Wide dissemination of Call for Papers started

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 by Springer Verlag.

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 presentation outlines, tutorial and workshop proposals:

22 January 2018 (AoE) 5 February 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.