eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingPress Release - Reliable Software Technologies, Ada-Europe 2014
Ilość wypowiedzi w tym wątku: 1

  • 1. Data: 2014-06-17 22:37:21
    Temat: Press Release - Reliable Software Technologies, Ada-Europe 2014
    Od: d...@f...cs.kuleuven.be. (Dirk Craeynest)

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

    FINAL Call for Participation

    *** UPDATED Program Summary ***

    19th International Conference on
    Reliable Software Technologies - Ada-Europe 2014

    23-27 June 2014, Paris, France

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

    *** Full Program available on conference web site ***
    *** Check out the tutorials and workshops! ***
    *** Printed proceedings available ***
    *** Register now! ***

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

    Press release:

    19th Ada-Europe Conference on Reliable Software Technologies

    International experts meet in Paris

    Paris (17 June 2014) - Ada-France and Ada-Europe organize from 23 to
    27 June 2014 the "19th International Conference on Reliable Software
    Technologies - Ada-Europe 2014" in Paris, France. The event is
    organized in cooperation with ACM's Special Interest Groups on Ada
    (SIGAda), on Embedded Systems (SIGBED), and on Programming Languages
    (SIGPLAN), and with the Ada Resource Association (ARA).

    The Ada-Europe series of conferences has become established as a
    successful international forum for providers, practitioners and
    researchers in all aspects of reliable software technologies.
    These events highlight the increased relevance of Ada in safety-
    and security-critical systems, and provide a unique opportunity
    for interaction and collaboration between academics and industrial
    practitioners.

    This year's conference offers two days of tutorials and workshops,
    three keynotes, a full technical program of refereed papers and
    industrial presentations, a special GNAT Retrospective session, a
    parallel Ada-France day "Ada 2012: le point sur le langage" for French
    software managers, an industrial exhibition and vendor presentations,
    and a social program.

    Ten excellent tutorials on Monday and Friday cover a broad range
    of topics: Proving Safety of Parallel/Multi-Threaded Programs,
    Multicore Programming using Divide-and-Conquer and Work Stealing,
    Debugging Real-time Systems, Developing Mixed-Criticality Systems with
    GNAT/ORK and Xtratum, High-Integrity Object-Oriented Programming with
    Ada 2012, Ada 2012 (Sub)type and Subprogram Contracts in Practice,
    Technical Basis of Model Driven Engineering, An Overview of Software
    Testing with an Emphasis on Statistical Testing, Robotics Programming,
    Introduction to Verification with SPARK 2014.

    In addition, on Monday there's a workshop on "Challenges and new
    Approaches for Dependable and Cyber-Physical Systems Engineering"
    (De-CPS 2014), and on Friday a workshop on "Mixed Criticality Systems"
    (WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits
    for the Industry.

    Three eminent keynote speakers have been invited to open each day of
    the core conference program. Robert Lainé speaks about "Lessons
    Learned and Easily Forgotten", drawing from his many years of
    experience in space projects leadership at the European Space Agency
    and EADS Astrium. Alun Foster presents "From ARTEMIS to ECSEL: Growing
    a Large Eco-System for High-Dependability Systems", as Acting Executive
    Director and Programme Manager of the ARTEMIS JU. Mohamed Shawky talks
    about "Future Challenges in Design Tools and Frameworks for Embedded
    Systems; Application to Intelligent Transportation Systems", presenting
    his futuristic work at the Université de Technologie Compičgne.

    The technical program presents 12 refereed and carefully selected
    papers on the latest research, new tools, applications and industrial
    practice and experience, a collection of 6 industrial presentations
    reflecting current practice and challenges, 3 experience reports,
    vendor presentations, and a special "GNAT Retrospective" to celebrate
    the 20th anniversary of GNAT as a supported open-source Ada compiler.
    Springer Verlag publishes the proceedings of the conference, as LNCS
    Vol. 8454.

    The industrial exhibition opens Tuesday morning and runs until the end
    of Thursday afternoon. Exhibitors include AdaCore, AdaLabs, Altran,
    Cambridge University Press, Ellidiss Software, Rapita Systems, and
    Squoring Technologies.

    The social program includes a "Welcome Party" on Tuesday evening, and
    on Wednesday evening the traditional Ada-Europe Conference Banquet will
    be on board an all-glass luxury boat, cruising along the Seine right
    in the heart of Paris! Each day, coffee breaks in the exhibition area
    and sit-down lunches offer ample time for interaction and networking.

    The conference is hosted by ECE, a French engineering school located
    near the Tour Eiffel, right in the heart of Paris, with convenient
    connections to all places of interest, and lots of facilities around.

    The full program is available on the conference web site.
    Registration is still possible.

    -------

    Latest updates:

    - The 16-page "Advance Program" is available on the conference web
    site at <http://www.ada-europe.org/conference2014/overview.h
    tml>.

    - Check out the 10 tutorials in the program (PDF) or in the on-line
    tutorial schedule at
    <http://www.ada-europe.org/conference2014/tutorials.
    html>.

    - The proceedings, published by Springer Verlag as Lecture Notes in
    Computer Science Vol. 8454, are ready and will be distributed at
    the conference. More info is available at
    <http://www.springer.com/computer/swe/book/978-3-319
    -08310-0>.

    - Registration fees are very reasonable and the registration process
    is done on-line. Don't delay! For all details, see
    <http://www.ada-europe.org/conference2014/registrati
    on.html>.

    - For the latest information consult the conference web site
    <http://www.ada-europe.org/conference2014>.

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

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

    D...@c...kuleuven.be, Ada-Europe'2014 Publicity Chair

    *** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014
    *** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org
    (V9.3)

strony : [ 1 ]


Szukaj w grupach

Szukaj w grupach

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: