Ada-Europe 2016 - 2016 21st International Conference on Reliable Software Technologies

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. 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. Book in advance! It is a lot of confusion, but absolutely worth it!
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.
This edition of Ada-Europe will feature a focused Special Session on Safe, Predictable Parallel Software Technologies. Following the increasing 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, Compiler support for parallel execution, Parallel runtimes, Automatic parallelization, Safety issues and reliability mechanisms for parallel execution, Software modelling and design approaches.
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, Software Quality, Mainstream and Emerging Applications, Experience Reports in Reliable System Development, Experiences with Ada.
LNCS
The proceedings will be published in the Springer Lecture Notes on Computer Science (LNCS) series. Also, a best paper and best presentation award will be presented at the conference.