The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with parallel 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 12-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 Overview", and then the PP download link. Also check the conference web site for registration, accommodation and travel information.
Proceedings - published by Springer - volume 7308 in Lecture Notes in Computer Science series (LNCS) - will be available at conference
Program co-chairs - Mats Brorsson, KTH Royal Institute of Technology, Sweden firstname.lastname@example.org - Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal email@example.com
Invited speakers - Bertrand Meyer, ETH Zurich, Switzerland, "Life with Contracts" - Göran Backlund, Combitech, Sweden, "What is the Mission of a Software Developer?" - Jean-Loup Terraillon, ESTEC/ESA, the Netherlands, "Multicore Processors - the Next Generation Computer for ESA Space Missions"
Tutorials (half day) - "Advanced Ada Support for Real-Time Programming", Mario Aldea Rivas, Universidad de Cantabria, Spain - "Developing High-Integrity Systems with GNAT GPL and the Ravenscar Profile", Juan A. de la Puente and Juan Zamorano, Universidad Politécnica de Madrid, Spain - "How to Optimize Reliable Software", Ian Broster and Andrew Coombes, Rapita Systems Ltd, UK - "DO-178C: The Next Avionics Software Safety Standard", Ben Brosgol, AdaCore, USA - "Designing and Checking Coding Standards for Ada", Jean-Pierre Rosen, Adalog, France - "Experimenting with ParaSail - Parallel Specification and Implementation Language", Tucker Taft, SofCheck div. of AdaCore, USA
Tutorials (two half days, can be taken independently) - "Basics of Oracle Database Programming with Ada: Introduction to the Konada.Db Library" & "Oracle Database GUI-programming on MS Windows", Frank Piron, KonAd GmbH, Germany - "The Benefits of Using SPARK for High-assurance Software" & "The Use of Proof and Generics in SPARK", Trevor Jennings and Robin Messer, Altran Praxis, UK
Tutorials (full day) - "Design of Multitask Software: the Entity-Life Modeling Approach", Bo Sandén, Colorado Technical University, USA
Panel sessions - "What is Language Technology in Our Time?", moderator Tullio Vardanega (Univ. of Padua), Bertrand Meyer (Eiffel Software), Franco Gasperoni (AdaCore), Erhard Plödereder (Univ. of Stuttgart), José María Martínez (Cassidian) - "Reliable Software, a Perspective from Industry", moderator Jørgen Bundgaard (Rovsing A/S), Ana Rodríguez (GMV), Mike Rennie (Deimos Space), João Brito (Critical Software)
Ada in Motion session - show Ada being used in moving equipment - informal demos during some of the coffee breaks - among others Lego Mindstorms robots and Arduino based devices
Papers and Presentations - 15 refereed technical papers in sessions on Application Frameworks, Use of Ada, Modelling, Testing & Validation, Real-Time Systems - 12 industrial presentations in sessions on Use of Ada, Space Applications, Avionics Applications - submissions by authors from 16 countries, and accepted contributions from Australia, Austria, Brazil, China, Denmark, Finland, France, Germany, Italy, Norway, Portugal, Spain, Switzerland, UK, USA
Vendor exhibition - 6 exhibitors already committed: AdaCore, Altran Praxis, Ellidiss Software, Objektum Solutions, Rapita Systems, 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 - Wednesday evening: conference banquet dinner at Östermalms Saluhall, a marketplace food hall in a magnificent building from 1888, in the heart of Stockholm
Registration - early registration discount up to Mon May 7, 2012 - 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 conference banquet - payment possible by bank transfer or credit card
Please make sure you book accommodation as soon as possible. Stockholm will be very busy in that week.