[ecoop-info] 21st Int.Conf. Reliable Software Technologies, Ada-Europe 2016

[Dirk Craeynest]

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

                   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
  marko.bertogna at unimore.it
- Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
  lmp at isep.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
Dirk.Craeynest at cs.kuleuven.be

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

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm