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

Call for Participation

*** PROGRAM SUMMARY ***

18th International Conference on
Reliable Software Technologies - Ada-Europe 2013

10-14 June 2013, Berlin, Germany

http://www.ada-europe.org/conference2013

Organized by Ada-Germany on behalf of Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN

*** Early registration discount until April 30 ***
*** Conference AND hotel bookings ONLY via conference web site ***

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

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.

Quick overview
- Mon 10 & Fri 14: tutorials
- Tue 11 - Thu 13: core program

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
h...@k...edu
- Erhard Plödereder, University of Stuttgart, Germany
p...@i...uni-stuttgart.de

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 Tuesday April 30, 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 large
block of rooms at reduced prices has been reserved at the conference
hotel until April 30. Note that those rooms are ONLY available for
reservations made through the conference web site!

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

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2013 Publicity Chair
D...@c...kuleuven.be

*** 18th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2013
*** June 10-14, 2013 *** Berlin, Germany *** http://www.ada-europe.org
(V7.3)