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

Preliminary Call for Participation

*** PROGRAM SUMMARY ***

21st International Conference on
Reliable Software Technologies - Ada-Europe 2016

13-17 June 2016, Pisa, Italy

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

Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN
and the Ada Resource Association (ARA)

*** Highly recommended to book your hotel ASAP!***
*** Online registration will open soon ***
*** Extensive info available on conference web site ***
*** Early registration discount until May 9 ***

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

The 21st International Conference on Reliable Software Technologies -
Ada-Europe 2016 takes place in Pisa, Italy, from June 13 to 17, 2016.
It is an exciting event with an outstanding technical program,
keynote talks, exhibition and networking from Tuesday to Thursday,
and a rich program of workshops and tutorials on Monday and Friday.

The conference is hosted by Scuola Superiore Sant'Anna, located in
the heart of Pisa. The Scuola can be easily reached from the Campo
dei Miracoli airport or the railway station.

The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.

Extensive information is already available on the conference web
site, such as an overview of the program, and detailed descriptions
of workshops and tutorials. Also check the conference web site for
registration, accommodation and travel information. The list of
accepted papers and industrial presentations, and descriptions of
the keynote presentations will be added shortly.

Quick overview
- Mon 13 & Fri 17: tutorials + workshops
- Tue 14 - Thu 16: core program

Proceedings
- published by Springer in Lecture Notes in Computer Science series
- will be available at conference

Program co-Chairs
- Marko Bertogna, University of Modena and Reggio Emilia, Italy
m...@u...it
- Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
l...@i...ipp.pt

Invited speakers
- Alan Burns, University of York, on "Why the Expressive Power of
Languages such as Ada is needed for Future Cyber Physical Systems"
- Valerio Giorgetta, Magneti Marelli, on
"Challenges for the Automotive Platform of the Future"
- 3rd speaker still to be confirmed

Workshops (full day)
- 3rd International Workshop on "Challenges and new Approaches for
Dependable and Cyber-Physical Systems Engineering" (De-CPS 2016)

Tutorials (full day)
- "Embedded ARM Programming with Ada 2012"
Patrick Rogers, AdaCore, USA
- "Parallelism in Ada, C, Java and C#, Today and Tomorrow"
Brad Moore, General Dynamics Canada, and Stephen Michell, Maurya
Software, Canada

Tutorials (half day)
- "A Semi-formal Approach to Software Development"
William Bail, The MITRE Corporation, USA
- "Software Test and Verification Techniques for Dependable Systems"
William Bail, The MITRE Corporation, USA
- "Ada 2012 (Sub)types and Subprogram Contracts in Practice"
Jacob Sparre Andersen, JSA Research & Innovation, Denmark
- "Towards Energy Awareness and Predictability in the Linux Kernel"
Juri Lelli, ARM Ltd, UK
- "Access Types and Memory Management in Ada 2012"
Jean-Pierre Rosen, Adalog, France
- "Using Gnoga for Desktop/Mobile GUI and Web development in Ada"
Jean-Pierre Rosen, Adalog, France

Papers and Presentations
- 12 refereed technical papers in sessions on
Concurrency & Parallelism, Testing & Verification, Program
Correctness & Robustness, Real-Time Systems
- 8 industrial presentations in sessions on
Us of Ada, Reliable Software
- 3 presentations in special "Ada & Parallelism" session
- "ITS EASY Post Graduate School & Projects" presentation session
- submissions by authors from 25 countries, and accepted contributions
from Australia, Austria, Canada, France, Germany, Italy, Portugal,
Spain, Sweden, Tunisia, UK, and USA

Vendor exhibition and networking area
- area features exhibitor booths, project posters, reserved vendor
tables, and general networking options
- 5 companies already committed:
AdaCore, Ansys/Esterel, Ellidiss Software, Rapita Systems, Vector
Software; others expected to confirm soon
- vendor presentation sessions in core program

Social events
- each day: coffee breaks in the exhibition space and sit-down lunches
offer ample time for interaction and networking
- Tuesday evening: Ada-Europe General Assembly and Welcome Cocktail
- Wednesday evening: the traditional Ada-Europe Conference Banquet
- Best Paper and Best Presentation awards will be handed out

Registration
- early registration discount up to Monday May 9, 2016
- additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and
SIGPLAN members
- a limited number of student discounts 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 credit card, check, or bank transfer
- see registration page for info on novel student waiver program!

Promotion
- support Ada-Europe 2016 with promotional material available at
<http://www.ada-europe.org/conference2016/promo>
- soon available there: call for participation, ready-to-print posters
for use in your office, university, etc.

Please make sure you book accommodation as soon as possible.
Pisa will be very busy in that week.

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

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

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

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

*** 21st Intl.Conf.on Reliable Software Technologies - Ada-Europe'2016
*** June 13-17, 2016 *** Pisa, Italy *** http://www.ada-europe.org ***
(V5.3)

do góry