XPost: comp.sw.components, comp.os.qnx, comp.os.linux.embedded
XPost: sci.math.num-analysis

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

Call for Participation

*** UPDATED 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)

*** Online registration open ***
*** Early registration discount until May 9 ***
*** Highly recommended to book your hotel ASAP ***
*** 16-page Advance Program available online ***

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

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, the list of accepted papers and
industrial presentations, and detailed descriptions of workshops,
tutorials, and keynote presentations. Also check the conference web
site for registration, accommodation and travel information.

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

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

Program co-Chairs
- Marko Bertogna, University of Modena and Reggio Emilia, Italy
marko.bertogna@unimore.it
- Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
lmp@isep.ipp.pt

Keynote 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"
- Marc Duranton, CEA, on "The HiPEAC Vision" (HiPEAC = European Network
on High Performance and Embedded Architecture and Compilation)

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, PTC Developer Tools, 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
- online registration is open at
<http://www.ada-europe.org/conference2016/reg>
- 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>
- 16-page Advance Program brochure available online for viewing at
<http://www.ada-europe.org/conference2016/AE2016_advance_program_lq.pdf>
and for printing at
<http://www.ada-europe.org/conference2016/AE2016_advance_program.pdf>
- recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2016

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 Dirk.Craeynest@cs.kuleuven.be

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

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)