(j3.2006) (SC22WG5.5854) [Fwd: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017]

Van Snyder Van.Snyder
Mon Apr 24 16:57:17 EDT 2017

In case anybody would like to go to Vienna two weeks before the WG5
meeting in Garching....

-------- Forwarded Message --------
From: Dirk Craeynest <Dirk.Craeynest at cs.kuleuven.be>
To: Ada-Europe-interest at cs.kuleuven.be
Subject: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
Date: Thu, 20 Apr 2017 19:25:39 +0200


                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    22nd International Conference on
            Reliable Software Technologies - Ada-Europe 2017

                    12-16 June 2017, Vienna, Austria


            Organized by TU Vienna 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 22 ***
        *** Extensive info available on conference web site ***

           *** Highly recommended to book your hotel ASAP ***


The 22nd International Conference on Reliable Software Technologies -
Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16,
2017.  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 TU Vienna at Palais Eschenbach, which is
located near the center of Vienna and can easily be accessed by metro.

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 available on the conference web site,
such as an overview of the program, the list of accepted papers and
industrial presentations, and descriptions of workshops, tutorials,
keynote presentations, and social events.  Also check the conference
web site for registration, accommodation and travel information.

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

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

Program co-Chairs
- Johann Blieberger, TU Vienna, Austria
  blieb at auto.tuwien.ac.at
- Tullio Vardanega, Universit? di Padova, Italy
  tullio.vardanega at math.unipd.it

Keynote speakers
- Giovanni Battista Gallus, Array, Italy,
  on "The laws of robotics and autonomous vehicles may be much more
  than three, but don't panic... yet"
- Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics"
- Kay R?mer, TU Graz, Austria, on "Dependable Internet of Things"

Workshops (full day)
- 4th International Workshop on "Challenges and new Approaches for
  Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017),
  focus on "Transportation of the Future"

Tutorials (full day)
- "Introduction to SPARK 2014"
  Peter Chapin, Vermont Technical College, USA

Tutorials (half day)
- "Ada on ARM Cortex-M, a Zero-Run-Time Approach"
  Maciej Sobczak, GE Aviation and Inspirel, Poland
- "Software Measurement for Dependable Software Systems"
  William Bail, The MITRE Corporation, USA
- "Real-Time Parallel Programming with the UpScale SDK"
  Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain
- "Using Gnoga for Desktop/Mobile GUI and Web development in Ada"
  Jean-Pierre Rosen, Adalog, France
- "Frama-C, a Collaborative Framework for C Code Verification"
  Julien Signoles, CEA LIST, France
- "On beyond ASCII: Characters, Strings, and Ada 2012"
  Jean-Pierre Rosen, Adalog, France
- "Modular Open System Architecture for Critical Systems"
  William Bail, The MITRE Corporation, USA

Papers and Presentations
- 14 refereed technical papers in sessions on Runtimes, Programming
  Models, Safety & Security, Timing Verification, Mixed Criticality
- 9 industrial presentations and experience reports in sessions on
  Exploratory Uses of Ada, Verification, Large Industrial Applications
- 4 presentations and discussion in special panel session on
  "The Future of Safety-Minded Languages"
- submissions by authors from 24 countries, and accepted contributions
  from Australia, Austria, Denmark, France, Italy, Portugal, South
  Korea, Spain, Sweden, Switzerland, UK, and USA

Vendor exhibition and networking area
- area features exhibitor booths, project posters, reserved vendor
  tables, and general networking options
- 4 companies already committed: AdaCore, PTC, Rapita Systems,
  VectorCAST; 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, followed by Welcome
  Reception incl. Robotics Presentations at "TU the Sky"; its terraces
  at the top of TU Vienna's buildings offer a terrific view on the city
- Wednesday evening: Vienna bus tour, followed by the traditional
  Ada-Europe Conference Banquet, held at a very famous "Heuriger"
- Best Paper and Best Presentation awards will be handed out

Registration highlights this year
- single day registration cost has been reduced
- Wednesday is Meet Ada-Europe day! registration is discounted
- tutorial fees reduced when taken together with 3-day conference

- online registration is open: select "Registration" at
- early registration discount up to Monday May 22, 2017
- additional discount for
  academia, Ada-Europe, ACM SIGAda, and ACM 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!

- recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017
- 16-page Advance Program brochure available online at
- support Ada-Europe 2017 with promotional material available at
- soon also 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.
Vienna will be very busy in that week.

For more info and latest updates see the conference web site at


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

Dirk Craeynest, Ada-Europe'2017 Publicity Chair
Dirk.Craeynest at cs.kuleuven.be

*** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017
*** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

More information about the J3 mailing list