• 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017

    From Dirk Craeynest@21:1/5 to All on Thu Apr 20 17:17:35 2017
    XPost: comp.sw.components, comp.os.qnx, comp.os.linux.embedded
    XPost: sci.math.num-analysis

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

    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
    (V5.6)

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