-------- Weitergeleitete Nachricht -------- Betreff: [computational.science] 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017 Datum: Thu, 20 Apr 2017 19:22:52 +0200 (CEST) Von: Dirk Craeynest Dirk.Craeynest@cs.kuleuven.be An: computational.science@lists.iccsa.org

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

Call for Participation

*** PROGRAM SUMMARY ***

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

12-16 June 2017, Vienna, Austria

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

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

Proceedings - 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@auto.tuwien.ac.at - Tullio Vardanega, Università di Padova, Italy tullio.vardanega@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

Registration - online registration is open: select "Registration" at http://www.ada-europe.org/conference2017/ - 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!

Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 - 16-page Advance Program brochure available online at http://www.ada-europe.org/conference2017/AE2017_advance_program.pdf - support Ada-Europe 2017 with promotional material available at http://www.ada-europe.org/conference2017/promotion.html - 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 http://www.ada-europe.org/conference2017.

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

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

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

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

_______________________________________________ computational.science mailing list computational.science@lists.iccsa.org https://lists.iccsa.org/mailman/listinfo/computational.science

Hosted by Sardina Systems: Hyper-Efficient OpenStack Cloud https://www.sardinasystems.com