The 18th International Conference on Reliable Software Technologies - Ada-Europe 2013 will take place in Berlin, Germany, from June 10 to 14, 2013. The conference will offer an outstanding technical program, invited talks, plus an exhibition from Tuesday to Thursday, and a series of tutorials on Monday and Friday.
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.
The 16-page Preliminary Program (PP) brochure with extensive information is available on the conference web site. The PP contains the list of accepted papers and industrial presentations, as well as detailed descriptions of all tutorials, keynote presentations, and panel sessions. In the menu on the home page first select "Program", and then the PP download link. Also check the conference web site for registration, accommodation and travel information.
Proceedings - published by Springer - volume 7896 in Lecture Notes in Computer Science series (LNCS) - will be available at conference
Program co-chairs - Hubert B. Keller, Karlsruhe Institute of Technology, Germany email@example.com - Erhard Plödereder, University of Stuttgart, Germany firstname.lastname@example.org
Invited speakers - Bruce Powel Douglass, Chief Evangelist IBM Rational, USA, "Model-based Ada Development for DO-178B/C and the Application of Agile Methods" - Jack G. Ganssle, The Ganssle Group, USA, "The Way Ahead in Software Engineering: Replacing Artists with Disciplined Grownups" - Giorgio C. Buttazzo, Scuola Superiore Sant'Anna of Pisa, Italy, "Research Challenges in Exploiting Multi-Core Platforms for Real-Time Applications"
Tutorials (half day) - "Multicore Programming using Divide-and-Conquer and Work Stealing", S. Tucker Taft, AdaCore, USA - "Designing and Checking Coding Standards for Ada", Jean-Pierre Rosen, Adalog, France - "Effective Requirements Development Practices and their Role in Effective Design", William Bail, The MITRE Corporation, USA - "Understanding Dynamic Memory Management in Safety Critical Java", Tom Grosman, Kelvin Nilsen, Atego Systems, Inc., USA - "Developing Code Analysis Applications with ASIS", Jean-Pierre Rosen, Adalog, France - "Verification and Validation Techniques for Dependable Systems", William Bail, The MITRE Corporation, USA - "Testing Real-Time Software", Ian Broster, Rapita Systems, UK - "Service-Oriented Architecture and Enterprise Service Bus", Rick Sward, The MITRE Corporation, USA, Jeff Boleng, The Software Engineering Institute, Pittsburgh, USA - "Developing High-Integrity Systems with GNAT GPL and the Ravenscar Profile", Juan de la Puente and Juan Zamorano, Universidad Politécnica de Madrid, Spain - "Maximize your Application Potential", David Sauvage, AdaLabs Ltd, Republic of Mauritius
Tutorials (full day) - "Design of Multitask Software: the Entity-Life Modeling Approach", Bo Sandén, Colorado Technical University, USA
Panel session "How to Use the Heap in Real-Time Systems": - "On Region-Based Storage Management for Parallel Programming", S. Tucker Taft, AdaCore, USA - "Extending the Java Type System to Enforce Disciplined Use of Scope-Allocated Objects", Tom Grosman, Atego Systems, USA - "On Dynamic Memory Management in Real-Time, Safety-Critical System", James Hunt, aicas GmbH, Germany
Papers and Presentations - 11 refereed technical papers in sessions on Multicore and Distributed Systems, Ada and Spark, Dependability, Real-Time Systems - 5 industrial presentations in 2 sessions - 1 special session "Introducing Ada 2012" - submissions by authors from 17 countries, and accepted contributions from Canada, Denmark, France, Germany, Italy, Mauritius, Portugal, Spain, Switzerland, UK and USA.
Vendor exhibition - 6 exhibitors already committed: AdaCore, Atego, Ellidiss Software, ETAS, Rapita, and Vector Software - vendor presentation sessions in core program
Social events - each day: coffee breaks and sit-down lunches offer ample time for interaction and networking - Monday evening: Get Together - Tuesday evening: Welcome Reception - Wednesday evening: Conference Banquet Dinner at the Botanic Garden of the Freie Universität Berlin, one of the largest and most diverse botanical gardens in the world, within walking distance to the hotel
Registration - early registration discount up to Wednesday May 8, 2013 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - a limited number of student grants 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 bank transfer or credit card
Please make sure you book accommodation as soon as possible. A block of rooms at reduced prices has been reserved at the conference hotel until May 8. Note that those rooms are ONLY available for reservations made through the conference web site!