21st International Conference on Reliable Software Technologies

Ada-Europe 2016

13-17 June 2016, Pisa, Italy

Welcome

The 21st International Conference on Reliable Software Technologies -
Ada-Europe 2016
will take place at Scuola Superiore Sant'Anna, Pisa, Italy, from June 13, 2016 to June 17, 2016.

This is the 21st event in the Reliable Software Technologies series, an international conference organized under the auspices of Ada-Europe. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

June is full of events in Pisa, including in the conference week the Saint Patron's festivities (San Ranieri) with the Luminara on the night of June 16. This is definitely worth seeing!
Book your hotel in advance - highly recommended as hotels will be in short supply.

News

July 17, 2016

Conference presentations are available in the keynotes and detail of sessions pages.
Conference photos on Flickr.
Workshop presentations are available in the workshop page.
 

June 17, 2016

Conference is now over. Thank you all for the participation.
And see you all next year in Vienna for Ada-Europe 2017

   
June 10, 2016
Due to unforeseen circumstances, the Wednesday keynote talk will be provided by Guido Ghisio, responsible for Automated Driving Technologies at Magneti Marelli.
June 1, 2016
Ada-Europe proceedings (LNCS 9695) available online at Springer.
May 8, 2016
Early registration cut-off postponed to May 17th.
April 26, 2016
Registration is open.
April 26, 2016
Advance program brochure available in the program overview page.
April 5, 2016
Details of conference sessions available!
March 17, 2016
Tutorials & Workshop information available!
February 23, 2016
Accomodation information 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 will feature a focused Special Session on Safe, Predictable Parallel Software Technologies. Following the intensifying trend of usage of Multi-/Many-core systems, it is increasingly important to assess how reliable software technologies need to adapt to these complex platforms, as well as how parallel models need to adapt to domains where safety and predictability is a must. Special topics include (but are not limited to): Predictable Parallel Programming Models, Parallel Language Technologies, Compiler Support for Parallel Execution, Parallel Runtimes and Libraries, Automatic Parallelization, Safety Issues and Reliability Mechanisms for Parallel Execution, Software Modelling and Design Approaches, Hardware Support for Predictability of Parallel Software.

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.

Full details availabe in the Call for Contributions.

 

 

LNCS

The proceedings will be published in the Springer Lecture Notes on Computer Science (LNCS) series.

Selected papers of the conference will be also invited for special issues of Springer’s Computing Journal (general track papers) and Journal of Parallel Programming (special session papers).

Also, a best paper and best presentation award will be presented at the conference.

Important Dates

Submission of regular papers, industrial presentations, tutorial and workshop proposals: 24 January 2016
(Updated)
Notification of acceptance to all authors: 10 March 2016 (expected)
Camera-ready version of papers required: 24 March 2016
Industrial presentations, tutorial and workshop material required: 2 May 2016

 

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=adaeurope2016.

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

Full details availabe in the Call for Contributions page.

 

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.