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

FINAL Call for Participation

*** UPDATED Program Summary ***

19th International Conference on
Reliable Software Technologies - Ada-Europe 2014

23-27 June 2014, Paris, France

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

*** Full Program available on conference web site ***
*** Check out the tutorials and workshops! ***
*** Printed proceedings available ***
*** Register now! ***

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

Press release:

19th Ada-Europe Conference on Reliable Software Technologies

International experts meet in Paris

Paris (17 June 2014) - Ada-France and Ada-Europe organize from 23 to
27 June 2014 the "19th International Conference on Reliable Software
Technologies - Ada-Europe 2014" in Paris, France. The event is
organized in cooperation with ACM's Special Interest Groups on Ada
(SIGAda), on Embedded Systems (SIGBED), and on Programming Languages
(SIGPLAN), and with the Ada Resource Association (ARA).

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.

This year's conference offers two days of tutorials and workshops,
three keynotes, a full technical program of refereed papers and
industrial presentations, a special GNAT Retrospective session, a
parallel Ada-France day "Ada 2012: le point sur le langage" for French
software managers, an industrial exhibition and vendor presentations,
and a social program.

Ten excellent tutorials on Monday and Friday cover a broad range
of topics: Proving Safety of Parallel/Multi-Threaded Programs,
Multicore Programming using Divide-and-Conquer and Work Stealing,
Debugging Real-time Systems, Developing Mixed-Criticality Systems with
GNAT/ORK and Xtratum, High-Integrity Object-Oriented Programming with
Ada 2012, Ada 2012 (Sub)type and Subprogram Contracts in Practice,
Technical Basis of Model Driven Engineering, An Overview of Software
Testing with an Emphasis on Statistical Testing, Robotics Programming,
Introduction to Verification with SPARK 2014.

In addition, on Monday there's a workshop on "Challenges and new
Approaches for Dependable and Cyber-Physical Systems Engineering"
(De-CPS 2014), and on Friday a workshop on "Mixed Criticality Systems"
(WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits
for the Industry.

Three eminent keynote speakers have been invited to open each day of
the core conference program. Robert Lainé speaks about "Lessons
Learned and Easily Forgotten", drawing from his many years of
experience in space projects leadership at the European Space Agency
and EADS Astrium. Alun Foster presents "From ARTEMIS to ECSEL: Growing
a Large Eco-System for High-Dependability Systems", as Acting Executive
Director and Programme Manager of the ARTEMIS JU. Mohamed Shawky talks
about "Future Challenges in Design Tools and Frameworks for Embedded
Systems; Application to Intelligent Transportation Systems", presenting
his futuristic work at the Université de Technologie Compičgne.

The technical program presents 12 refereed and carefully selected
papers on the latest research, new tools, applications and industrial
practice and experience, a collection of 6 industrial presentations
reflecting current practice and challenges, 3 experience reports,
vendor presentations, and a special "GNAT Retrospective" to celebrate
the 20th anniversary of GNAT as a supported open-source Ada compiler.
Springer Verlag publishes the proceedings of the conference, as LNCS
Vol. 8454.

The industrial exhibition opens Tuesday morning and runs until the end
of Thursday afternoon. Exhibitors include AdaCore, AdaLabs, Altran,
Cambridge University Press, Ellidiss Software, Rapita Systems, and
Squoring Technologies.

The social program includes a "Welcome Party" on Tuesday evening, and
on Wednesday evening the traditional Ada-Europe Conference Banquet will
be on board an all-glass luxury boat, cruising along the Seine right
in the heart of Paris! Each day, coffee breaks in the exhibition area
and sit-down lunches offer ample time for interaction and networking.

The conference is hosted by ECE, a French engineering school located
near the Tour Eiffel, right in the heart of Paris, with convenient
connections to all places of interest, and lots of facilities around.

The full program is available on the conference web site.
Registration is still possible.

-------

Latest updates:

- The 16-page "Advance Program" is available on the conference web
site at <http://www.ada-europe.org/conference2014/overview.h
tml>.

- Check out the 10 tutorials in the program (PDF) or in the on-line
tutorial schedule at
<http://www.ada-europe.org/conference2014/tutorials.
html>.

- The proceedings, published by Springer Verlag as Lecture Notes in
Computer Science Vol. 8454, are ready and will be distributed at
the conference. More info is available at
<http://www.springer.com/computer/swe/book/978-3-319
-08310-0>.

- Registration fees are very reasonable and the registration process
is done on-line. Don't delay! For all details, see
<http://www.ada-europe.org/conference2014/registrati
on.html>.

- For the latest information consult the conference web site
<http://www.ada-europe.org/conference2014>.

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

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

D...@c...kuleuven.be, Ada-Europe'2014 Publicity Chair

*** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014
*** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org
(V9.3)

do góry