----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11 - 15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 *** Full Program available on conference web site *** *** Check out the tutorial program! *** *** Printed proceedings available *** *** Register now! *** ----------------------------------------------------------------------- Press release: 17th Ada-Europe Conference on Reliable Software Technologies International experts meet in Stockholm Stockholm (29 May 2012 20:00) - Ada-Europe organizes from 11 to 15 June 2012 the "17th International Conference on Reliable Software Technologies - Ada-Europe 2012" in Stockholm, Sweden. The event is organized in cooperation with Ada Sweden and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED), and on Programming Languages (SIGPLAN). The conference offers two days of tutorials, three keynotes, a full technical program of refereed papers and industrial presentations, two special panel sessions, an industrial exhibition, and a social program. Eleven excellent tutorials on Monday and Friday cover a broad range of topics: Advanced Ada Support for Real-Time Programming; Developing High-Integrity Systems with GNAT GPL and the Ravenscar Profile; How to Optimize Reliable Software; DO-178C - The Next Avionics Software Safety Standard; Designing and Checking Coding Standards for Ada; Experimenting with ParaSail - Parallel Specification and Implementation Language; Basics of Oracle Database Programming with Ada - Introduction to the Konada.Db Library; Oracle Database GUI-programming on MS Windows; The Benefits of Using SPARK for High-assurance Software; The Use of Proof and Generics in SPARK; Design of Multitask Software - the Entity-Life Modeling Approach. Three eminent keynote speakers have been invited to open each day of the core conference program. Bertrand Meyer (ETH Zurich, Switzerland), in a keynote entitled "Life with Contracts", will present some results based on his long experience of using contracts as a core practice of development, and will also present new developments in applying contracts to verification and concurrency. G�ran Backlund (Combitech, Sweden), in his keynote "What is the Mission of a Software Developer?", will use a broader view on human knowledge in an engineering environment to find new tools for learning to manage the development challenges better. Jean-Loup Terraillon (ESTEC/ESA, the Netherlands) will present the impact of multi-core architectures on the space industry in his keynote "Multicore Processors - the Next Generation Computer for ESA Space Missions". The technical program presents 15 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 8 industrial presentations reflecting current practice and challenges, vendor presentations, a panel session on "What is Language Technology in Our Time?", and a second panel session on "Reliable Software, a Perspective from Industry". Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 7308. The industrial exhibition opens in the mid-morning break on Tuesday and runs until the end of the afternoon break on Thursday. Exhibitors include AdaCore, Altran Praxis, Ellidiss Software, Rapita Systems, and Vector Software. A special "Ada in Motion" session during the breaks on Thursday will show examples of Ada being used in moving equipment, such as drive-by-wire and segway-like Lego Mindstorm robots and Arduino based devices. An announcement will also be made on the public release of the reference implementation for the "Ada Way 2010/2011" programming contest. The social program includes on Wednesday evening a conference banquet dinner at �stermalms Saluhall, a marketplace food hall in a magnificent building from 1888, in the heart of Stockholm. Each day, coffee breaks and sit-down lunches offer ample time for interaction and networking. The venue for the Ada-Europe 2012 conference is N�ringslivets Hus, a modern conference center situated in the very heart of Stockholm, located near the �stermalmstorg metro station and close to the Gamla Stan historic district. The full program is available on the conference web site. Registration is still open. ------- Latest updates: - The 16-page "Advance Program" is available on the conference web site at . - Check out the 11 tutorials in the full program (PDF) or via the hyperlinks in the tutorial schedule on . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 7308, are ready and will be distributed at the conference. More info is available at . - Registration fees are very reasonable and the registration process is done on-line. Don't delay! For all details, see . - For the latest information consult the conference web site . ----------------------------------------------------------------------- Please circulate widely. Our apologies if you receive multiple copies of this announcement. If you have a LinkedIn account, let your network know that you will be attending or are interested in this event; see RSVPs on http://events.linkedin.com/Ada-Connection-17th-International/pub/405820 Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2012 Publicity Chair *** 17th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2012 *** June 11-15, 2012 ** Stockholm, Sweden ** http://www.ada-europe.org (V9.1)