• 21st Int.Conf. Reliable Software Technologies, Ada-Europe 2016

    From Dirk Craeynest@21:1/5 to All on Sat Mar 26 22:37:23 2016
    XPost: comp.compilers, news.announce.conferences

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

    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@unimore.it
    - Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal
    lmp@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@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

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