----------------------------------------------------------------------- 2nd Call for Participation 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN *** Early registration DEADLINE Monday 7 May 2012 *** ----------------------------------------------------------------------- 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. Quick overview - Mon 11 & Fri 15: tutorials - Tue 12 - Thu 14: core program 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 matsbror@kth.se - Lu�s Miguel Pinho, CISTER Research Centre/ISEP, Portugal lmp@isep.ipp.pt 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, 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), Jo�o Brito (Critical Software), etc. 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 that week. For more info and latest updates see the conference web site at . ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. If you have a LinkedIn account, let your network know that you will be attending or are interested in this event; RSVP on http://events.linkedin.com/17th-International-Conference-Reliable/pub/783755 Dirk Craeynest, Ada-Europe'2012 Publicity Chair Dirk.Craeynest@cs.kuleuven.be *** 17th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2012 *** June 11-15, 2012 ** Stockholm, Sweden ** http://www.ada-europe.org (V8.1)