The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math.num-analysis

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Ada-Europe 2013 early registration deadline approaching
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Dirk Craeynest

Posts: 22
Registered: 4/17/11
Ada-Europe 2013 early registration deadline approaching
Posted: Apr 30, 2013 12:21 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


2nd Call for Participation

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

10-14 June 2013, Berlin, Germany

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

*** Early registration DEADLINE extended until May 8 ***
*** 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

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

- 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
- Erhard Plödereder, University of Stuttgart, Germany

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

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

- early registration discount up to Wednesday May 8, 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 block
of rooms at reduced prices has been reserved at the conference hotel
until May 8. 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


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

Dirk Craeynest, Ada-Europe'2013 Publicity Chair

*** 18th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2013
*** June 10-14, 2013 *** Berlin, Germany ***

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.