19th Ada-Europe Conference on Reliable Software Technologies
International experts meet in Paris
Paris (17 June 2014) - Ada-France and Ada-Europe organize from 23 to 27 June 2014 the "19th International Conference on Reliable Software Technologies - Ada-Europe 2014" in Paris, France. The event is organized in cooperation with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED), and on Programming Languages (SIGPLAN), and with the Ada Resource Association (ARA).
The Ada-Europe series of conferences has become established as a successful international forum for providers, practitioners and researchers in all aspects of reliable software technologies. These events highlight the increased relevance of Ada in safety- and security-critical systems, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners.
This year's conference offers two days of tutorials and workshops, three keynotes, a full technical program of refereed papers and industrial presentations, a special GNAT Retrospective session, a parallel Ada-France day "Ada 2012: le point sur le langage" for French software managers, an industrial exhibition and vendor presentations, and a social program.
Ten excellent tutorials on Monday and Friday cover a broad range of topics: Proving Safety of Parallel/Multi-Threaded Programs, Multicore Programming using Divide-and-Conquer and Work Stealing, Debugging Real-time Systems, Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum, High-Integrity Object-Oriented Programming with Ada 2012, Ada 2012 (Sub)type and Subprogram Contracts in Practice, Technical Basis of Model Driven Engineering, An Overview of Software Testing with an Emphasis on Statistical Testing, Robotics Programming, Introduction to Verification with SPARK 2014.
In addition, on Monday there's a workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2014), and on Friday a workshop on "Mixed Criticality Systems" (WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits for the Industry.
Three eminent keynote speakers have been invited to open each day of the core conference program. Robert Lainé speaks about "Lessons Learned and Easily Forgotten", drawing from his many years of experience in space projects leadership at the European Space Agency and EADS Astrium. Alun Foster presents "From ARTEMIS to ECSEL: Growing a Large Eco-System for High-Dependability Systems", as Acting Executive Director and Programme Manager of the ARTEMIS JU. Mohamed Shawky talks about "Future Challenges in Design Tools and Frameworks for Embedded Systems; Application to Intelligent Transportation Systems", presenting his futuristic work at the Université de Technologie Compiègne.
The technical program presents 12 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 6 industrial presentations reflecting current practice and challenges, 3 experience reports, vendor presentations, and a special "GNAT Retrospective" to celebrate the 20th anniversary of GNAT as a supported open-source Ada compiler. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 8454.
The industrial exhibition opens Tuesday morning and runs until the end of Thursday afternoon. Exhibitors include AdaCore, AdaLabs, Altran, Cambridge University Press, Ellidiss Software, Rapita Systems, and Squoring Technologies.
The social program includes a "Welcome Party" on Tuesday evening, and on Wednesday evening the traditional Ada-Europe Conference Banquet will be on board an all-glass luxury boat, cruising along the Seine right in the heart of Paris! Each day, coffee breaks in the exhibition area and sit-down lunches offer ample time for interaction and networking.
The conference is hosted by ECE, a French engineering school located near the Tour Eiffel, right in the heart of Paris, with convenient connections to all places of interest, and lots of facilities around.
The full program is available on the conference web site. Registration is still possible.