The 19th International Conference on Reliable Software Technologies - Ada-Europe 2014 takes place in Paris, France, from June 23 to 27, 2014. It is an exciting event with an outstanding technical program, keynote talks, and exhibition from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday.
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. An event not to be missed!
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.
Extensive information is available on the conference web site, such as the list of accepted papers and industrial presentations, and detailed descriptions of all workshops, tutorials and keynote presentations. Also check the conference web site for registration, accommodation and travel information.
Proceedings - published by Springer - volume 8454 in Lecture Notes in Computer Science series (LNCS) - will be available at conference
Program co-chairs - Laurent George, LIGM/UPEMLV - ECE Paris, France email@example.com - Tullio Vardanega, University of Padova, Italy firstname.lastname@example.org
Invited speakers - Robert Lainé, "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, "From ARTEMIS to ECSEL: Growing a Large Eco-System for High-Dependability Systems", about the results achieved in ARTEMIS and the objectives of the new ECSEL program, as Acting Executive Director and Programme Manager of the ARTEMIS JU - Mohamed Shawky, "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
Workshops (full day) - Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2014), organized by CEA and Thales - Workshop on "Mixed Criticality Systems" (WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits for the Industry, organized by ECE
Workshop (half day) - "Ada 2012: le point sur le langage" (Ada 2012: Assessing the Language), a special session in French for software managers who want to learn about the current state of Ada, organized by Ada-France
Tutorials (full day) - "Robotics Programming", Lars Asplund, Asplund Data, Sweden - "Introduction to Verification with SPARK 2014", Rod Chapman, Altran UK, Yannick Moy, AdaCore, France
Tutorials (half day) - "Proving Safety of Parallel/Multi-Threaded Programs", Tucker Taft, AdaCore, USA - "Multicore Programming using Divide-and-Conquer and Work Stealing", Tucker Taft, AdaCore, USA - "Debugging Real-time Systems", Ian Broster and Andrew Coombes, Rapita Systems, UK - "Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum", Alfons Crespo, Universidad Politécnica de Valencia, Alejandro Alonso, Universidad Politécnica de Madrid, Jon Pérez, Ikerlan, Spain - "High-Integrity Object-Oriented Programming with Ada 2012", Ben Brosgol, AdaCore, USA - "Ada 2012 (Sub)type and Subprogram Contracts in Practice", Jacob Sparre Andersen, JSA Research & Innovation, Denmark - "Technical Basis of Model Driven Engineering", William Bail, The MITRE Corporation, USA - "An Overview of Software Testing with an Emphasis on Statistical Testing", William Bail, The MITRE Corporation, USA
Papers and Presentations - 12 refereed technical papers in sessions on Formal Methods, Uses of Ada, Real-Time Scheduling, Applications - 6 industrial presentations in sessions on Ada in Aerospace, Ada in Railways - 3 presentations in special "Experience Report" session - submissions by authors from 22 countries, and accepted contributions from Austria, Canada, Denmark, France, Germany, Italy, Portugal, Republic of Korea, Spain, Sweden, UK, and USA
GNAT Retrospective - 20th anniversary of GNAT as a supported open-source Ada compiler - started new era for distribution and promotion of Ada language - retrospective will look back at these important 20 years
Vendor exhibition - 6 exhibitors already committed: AdaCore, AdaLabs, Altran, Ellidiss Software, Rapita Systems, and Squoring Technologies; others expected to confirm soon - vendor presentation sessions in core program
Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Welcome Party - Wednesday evening: Cruise and Conference Banquet, the traditional Ada-Europe banquet will be on board an all-glass luxury boat, cruising along the Seine right in the heart of Paris!
Registration - early registration discount up to Sunday June 8, 2014 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! - <http://www.ada-europe.org/conference2014/registration.html>