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: Press Release - Reliable Software Technologies, Ada-Europe 2012
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Dirk Craeynest

Posts: 22
Registered: 4/17/11
Press Release - Reliable Software Technologies, Ada-Europe 2012
Posted: May 28, 2012 4:37 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


FINAL Call for Participation

*** UPDATED Program Summary ***

17th International Conference on
Reliable Software Technologies - Ada-Europe 2012

11 - 15 June 2012, Stockholm, Sweden

*** 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, Ada-Europe'2012 Publicity Chair

*** 17th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2012
*** June 11-15, 2012 ** Stockholm, Sweden **

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.