eGospodarka.pl

eGospodarka.plGrupypl.comp.programming › Ada-Europe 2017 - early registration until May 22
Ilość wypowiedzi w tym wątku: 1

  • 1. Data: 2017-05-10 23:30:44
    Temat: Ada-Europe 2017 - early registration until May 22
    Od: d...@f...cs.kuleuven.be. (Dirk Craeynest)

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

    2nd Call for Participation

    *** UPDATED 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, SIGPLAN
    and the Ada Resource Association (ARA)

    *** Download conference poster to promote event ***
    http://www.ada-europe.org/conference2017/picts/AE201
    7_poster.png

    *** Early registration discount until May 22 ***

    *** Tutorial fees reduced when taken together with conference ***
    http://www.ada-europe.org/conference2017/tutorials.h
    tml

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

    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, as well as
    promotional material such as the ready-to-print conference poster.

    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
    b...@a...tuwien.ac.at
    - Tullio Vardanega, Universitŕ di Padova, Italy
    t...@m...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_adv
    ance_program.pdf>
    - support Ada-Europe 2017 with promotional material available at
    <http://www.ada-europe.org/conference2017/promotion.
    html>
    - use the ready-to-print poster available at
    <http://www.ada-europe.org/conference2017/picts/AE20
    17_poster.png>

    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
    D...@c...kuleuven.be

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

strony : [ 1 ]


Szukaj w grupach

Szukaj w grupach

REKLAMA

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo:

Strona korzysta z plików cookies w celu realizacji usług i zgodnie z Polityką Prywatności. Możesz określić warunki przechowywania lub dostępu do plików cookies w Twojej przeglądarce.