eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingAda-Europe 2015 early registration deadline approaching
Ilość wypowiedzi w tym wątku: 1

  • 1. Data: 2015-05-28 23:13:31
    Temat: Ada-Europe 2015 early registration deadline approaching
    Od: d...@f...cs.kuleuven.be. (Dirk Craeynest)

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

    2nd Call for Participation

    *** UPDATED Program Summary ***

    20th International Conference on
    Reliable Software Technologies - Ada-Europe 2015

    22-26 June 2015, Madrid, Spain

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

    Organized by Ada-Spain on behalf of Ada-Europe,
    in cooperation with ACM SIGAda, SIGBED, SIGPLAN
    and the Ada Resource Association (ARA)

    *** Early registration DEADLINE June 7 ***
    *** 16-page Advance Program available online ***
    *** All registrations via conference web site ***

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

    The 20th International Conference on Reliable Software Technologies
    - Ada-Europe 2015 takes place in Madrid, Spain, from June 22 to 26,
    2015. 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 ETSIT-UPM, the engineering school of the
    Technical University of Madrid (Universidad Politécnica de Madrid),
    which covers teaching and research in all fields related to Information
    and Communications Technology, and is one of the leading institutions
    in that field in Spain.

    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.

    Extensive information is available on the conference web site, such as
    the list of accepted papers and industrial presentations, and detailed
    descriptions of all workshops, tutorials and keynote presentations.
    Also check the conference web site for registration, accommodation
    and travel information.

    Quick overview
    - Mon 22 & Fri 26: tutorials + workshops
    - Tue 23 - Thu 25: core program

    Proceedings
    - published by Springer
    - volume 9111 in Lecture Notes in Computer Science series (LNCS)
    - will be available at conference

    Program co-Chairs
    - Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
    j...@d...upm.es
    - Tullio Vardanega, Universita di Padova, Italy
    t...@u...it

    Invited speakers
    - Jon Pérez, "IEC-61508 Certification of Mixed-Criticality Systems
    based on Multicore and Partitioning", this keynote presents a
    certification strategy to achieve conformance with IEC-61508 in the
    development of a wind-turbine mixed-criticality system running on
    a modern multicore processor
    - Javier Rodríguez, "Software Development of Safety-Critical Railway
    Systems", this keynote presents a strategy to develop a wide range
    of safety-critical systems in order to achieve conformance with
    safety standards by reviewing all the lifecycle of the software
    - Andras Balazs, "The Central On-Board Computer of the Philae Lander
    in the Context of the Rosetta Space Mission", the talk gives a brief
    overview of the objectives and highlights of the Rosetta-Philae
    comet mission, followed by an outline of the major hardware and
    software design aspects.

    Workshops (full day)
    - Workshop on "Challenges and new Approaches for Dependable and
    Cyber-Physical Systems Engineering" (De-CPS 2015)
    - Workshop on "Architecture Centric Virtual Integration" (ACVI 2015)

    Tutorials (full day)
    - "Parallelism in Ada, Today and Tomorrow",
    Brad Moore, General Dynamics Canada, and Stephen Michell, Maurya
    Software, Canada
    - "Probabilistic Timing Analysis",
    Francisco J. Cazorla and Jaume Abella, Barcelona Supercomputing
    Center, Spain, Tullio Vardanega, University of Padua, Italy, and
    Mark Pearce, Rapita Systems Ltd, UK
    - "Real-Time and Embedded Programming with Ada 2012",
    Patrick Rogers, AdaCore, USA

    Tutorials (half day)
    - "Access Types and Memory Management in Ada 2012",
    Jean-Pierre Rosen, Adalog, France
    - "Designing and Checking Coding Standards for Ada",
    Jean-Pierre Rosen, Adalog, France
    - "Ada 2012 (Sub)type and Subprogram Contracts in Practice",
    Jacob Sparre Andersen, JSA Research & Innovation, Denmark
    - "When Ada meets Python: Extensibility through Scripting",
    Emmanuel Briot and Ben Brosgol, AdaCore, France and USA
    - "Software Measures for Dependable Software Systems",
    William Bail, The MITRE Corporation, USA
    - "Software Design Concepts and Pitfalls",
    William Bail, The MITRE Corporation, USA

    Papers and Presentations
    - 12 refereed technical papers in sessions on
    Language Technology, Real-Time Applications, Critical Systems,
    Multi-core and Distributed Systems
    - 9 industrial presentations in sessions on
    Ada Applications, Critical Systems, Tools at Work
    - 3 presentations in special "Advances on Methods" session
    - submissions by authors from 19 countries, and accepted contributions
    from Denmark, France, Germany, Italy, Portugal, the Netherlands,
    Spain, Sweden, Tunisia, 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, Ellidiss Software, Rapita
    Systems, and 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: Welcome Cocktail and talks
    - Wednesday evening: the traditional Ada-Europe Conference Banquet
    will be held at Club de Campo Villa de Madrid, a country club
    located at the outskirts of the city, with magnificent views
    - Ada Lovelace 200th Anniversary Celebration

    Registration
    - early registration discount up to Sunday June 7, 2015
    - 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!
    - <http://www.ada-europe.org/conference2015/registrati
    on.html>

    Promotion
    - support Ada-Europe 2015 with promotional material available at
    <http://www.ada-europe.org/conference2015/promotion.
    html>
    - use ready-to-print posters in your office, university, etc.
    - 16-page Advance Program brochure available online at
    <http://www.ada-europe.org/conference2015/Advance_Pr
    ogram_2015_A4.pdf>

    Please make sure you book accommodation as soon as possible.
    Madrid will be very busy in that week.

    For more info and latest updates see the conference web site at
    <http://www.ada-europe.org/conference2015>.

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

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

    Dirk Craeynest, Ada-Europe'2015 Publicity Chair
    D...@c...kuleuven.be

    *** 20th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2015
    *** June 22-26, 2015 **** Madrid, Spain **** http://www.ada-europe.org
    (V8.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: