Call for Participation

                        *** PROGRAM SUMMARY ***

                    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 discount until May 7 ***
      *** Preliminary Program available on conference web site ***

-----------------------------------------------------------------------

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
  matsb...@kth.se
- Luís Miguel Pinho, CISTER Research Centre/ISEP, Portugal
  l...@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 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.

For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2012>.

-----------------------------------------------------------------------

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...

Dirk Craeynest, Ada-Europe'2012 Publicity Chair
Dirk.Craeyn...@cs.kuleuven.be