• Ada-Europe 2019 Conference - EXTENDED 28 January deadline

    From Dirk Craeynest@21:1/5 to All on Mon Jan 7 22:14:18 2019
    XPost: be.comp.programming, nl.comp.programmeren, de.comp.lang.misc
    XPost: fr.comp.developpement

    The Ada-Europe 2019 Conference organizers decided to provide more
    time for authors to prepare their contributions. The deadline for
    all submissions is extended to Monday 28 January 2019. 3 weeks remain!

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

    UPDATED Call for Papers - EXTENDED DEADLINE

    Ada-Europe 24th International Conference on
    Reliable Software Technologies (Ada-Europe 2019)

    10-14 June 2019, Warsaw, Poland

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

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

    *** Extended DEADLINE 28 JANUARY 2019 AoE ***

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

    *** General Information

    Ada-Europe is pleased to announce that its 24th International
    Conference on Reliable Software Technologies (Ada-Europe 2019)
    will take place in Warsaw, Poland, in the week of 10-14 June.
    The conference schedule at its fullest includes a three-day technical
    program and vendor exhibition from Tuesday to Thursday, and parallel
    tutorials and workshops on Monday and Friday.

    This edition of the conference inaugurates a major revamp in the
    registration fees, redesigned to extend participation from industry
    and academia, and to reward contributors, especially but not solely,
    students and post-doc researchers.

    *** Schedule

    28 January 2019: Submission of papers, industrial presentation
    outlines, tutorial and workshop proposals
    1 March 2019: Notification of acceptance to all authors
    16 March 2019: Camera-ready version of papers required
    30 April 2019: Industrial presentations, tutorial and workshop
    material required

    *** Topics

    The conference is a leading international forum for providers,
    practitioners and researchers in reliable software technologies.
    The conference presentations will illustrate current work in the
    theory and practice of the design, development and maintenance of
    long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes,
    Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable
    software technologies.

    The topics of interest for the conference include but are not
    limited to:

    - Design and Implementation of Real-Time and Embedded Systems:
    Real-Time Scheduling, Design Methods and Techniques, Architecture
    Modelling, HW/SW Co-Design, Reliability and Performance;

    - Design and Implementation of Mixed-Criticality Systems: Scheduling
    Methods, Mixed-Criticality Architectures, Design Methods, Analysis
    Methods;

    - Theory and Practice of High-Integrity Systems: Medium to Large-Scale
    Distribution, Fault Tolerance, Security, Reliability, Trust and
    Safety, Languages Vulnerabilities;

    - Software Architectures for Reliable Systems: Design Patterns,
    Frameworks, Architecture-Centered Development, Component-based
    Design and Development;

    - Methods and Techniques for Quality Software Development and
    Maintenance: Requirements Engineering, Model-driven Architecture and
    Engineering, Formal Methods, Re-engineering and Reverse Engineering,
    Reuse, Software Management Issues, Compilers, Libraries, Support
    Tools;

    - Ada Language and Technologies: Compilation Issues, Runtimes,
    Ravenscar, Profiles, Distributed Systems, SPARK;

    - Mainstream and Emerging Applications with Reliability
    Requirements: Manufacturing, Robotics, Avionics, Space, Health
    Care, Transportation, Cloud Environments, Smart Energy Systems,
    Serious Games, etc;

    - Achieving and Assuring Safety in Machine Learning Systems;

    - Experience Reports in Reliable System Development: Case Studies
    and Comparative Assessments, Management Approaches, Qualitative
    and Quantitative Metrics;

    - Experiences with Ada: Reviews of the Ada 2012 language features,
    implementation and use issues, positioning in the market and in the
    software engineering curriculum, lessons learned on Ada Education
    and Training Activities with bearing on any of the conference topics.

    *** Call for Regular Papers

    The regular papers submitted to the conference must be original and
    shall undergo anonymous peer review. The authors shall submit their
    work by 28 January 2019, in PDF only, and up to 16 LNCS-style pages
    in length, via https://easychair.org/conferences/?conf=ae2019.

    The conference is listed in the principal citation databases, including
    DBLP, Scopus, Web of Science, and Google Scholar. The authors of the
    papers that will appear in the conference proceedings will be invited
    to extend their work for submission to a Special Issue of Elsevier's
    Journal of Systems Architecture, centered on the conference themes.

    *** Proceedings

    The conference proceedings will appear in Springer's Lecture Notes
    in Computer Science (LNCS) series, and will be available at the
    conference, both online and in print. The authors of accepted
    regular papers shall prepare camera-ready submissions in full
    conformance with the LNCS style, strictly by 16 March 2019.
    For format and style guidelines, the authors should refer to http://www.springer.de/comp/lncs/authors.html. Failure to comply and
    to register at least one author for the conference by that date will
    prevent the paper from appearing in the proceedings.

    *** Call for Industrial Presentations

    The conference seeks industrial presentations that deliver
    insightful information value but may not sustain the strictness
    of the review process required for regular papers. The authors
    of industrial presentations shall submit their proposals, of at
    least 1 page in length, by 28 January 2019, strictly in PDF, via https://easychair.org/conferences/?conf=ae2019.

    The Industrial Committee will review the submissions anonymously
    and make recommendations for acceptance. The authors of accepted
    contributions shall be requested to submit a 2-page abstract by 16
    March 2019, for inclusion in the conference booklet, and be invited to
    deliver a 20-minute talk at the conference. These authors will also
    be invited to expand their contributions into articles for publication
    in the Ada User Journal (http://www.ada-europe.org/auj/), as part of
    the proceedings of the Industrial Program of the Conference. For any
    further information, please contact the Industrial Chair directly.

    *** Awards

    Ada-Europe will offer honorary awards for the best regular paper and
    the best presentation.

    *** Call for Educational Tutorials

    The conference seeks tutorials in the form of educational seminars that
    may include hands-on or practical demonstrations. Proposed tutorials
    can address any part of the reliable software domain, and may have an
    academic or industrial slant from technology perspective. All software
    topics and their application to reliability and safety are welcome.
    Tutorial proposals shall include a title, an abstract, a description of
    the topic, an outline of the presentation, the proposed duration (half
    day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced), and most importantly a statement expressing
    why it will be worthwhile to attend the tutorial. Tutorial proposals
    shall be submitted to the Educational Tutorial Chair.

    The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is
    halved. The Ada User Journal will offer space for the publication
    of summaries of the accepted tutorials.

    *** Call for Workshops

    Workshops on themes within the conference scope may be proposed.
    Proposals may be submitted for half- or full-day events, to be
    scheduled at either end of the conference week. Workshop proposals
    shall be submitted to the Workshop Chair. The workshop organizer
    shall also commit to producing the proceedings of the event, for
    publication in the Ada User Journal.

    *** Call for Exhibitors

    The commercial exhibition will span the core days of the main
    conference. Interested providers of software products and services
    should send inquiries to the Exhibition Chair.

    *** Venue

    The conference will take place in Warsaw, Poland, at the Engineering
    Design Center, a partnership of General Electric and the Institute of
    Aviation, one of Europe's largest engineering institutions.

    *** Organizing Committee

    Conference & Program Chair
    Tullio Vardanega, University of Padua, Italy
    tullio.vardanega at unipd.it

    Educational Tutorial & Workshop Chair
    Dene Brown, SysAda Ltd, UK
    dene.brown at sysada.co.uk

    Industrial Chair
    Maurizio Martignano, Spazio IT, Italy
    maurizio.martignano at spazioit.com

    Exhibition & Sponsorship Chair
    Ahlan Marriott, White Elephant GmbH, Switzerland
    software at white-elephant.ch

    Publicity Chair
    Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
    dirk.craeynest at cs.kuleuven.be

    Local Chair
    Maciej Sobczak, GE Aviation - EDC Warsaw, Poland
    maciej.sobczak at ge.com

    *** Program Committee

    Mario Aldea, Univ. de Cantabria, ES
    Johann Blieberger, Vienna Univ. of Technology, AT
    Bernd Burgstaller, Yonsei Univ., KR
    António Casimiro, Univ. Lisboa, PT
    Barbara Gallina, Mälardalen Univ., SE
    Michael González Harbour, Univ. de Cantabria, ES
    J. Javi Gutiérrez, Univ. de Cantabria, ES
    Jérôme Hugues, ISAE, FR
    Hubert Keller, Karlsruhe Institute of Technology, DE
    Raimund Kirner, Univ. of Hertford-shire, UK
    Franco Mazzanti, ISTI-CNR, IT
    Laurent Pautet, Telecom ParisTech, FR
    Luís Miguel Pinho, CISTER/ISEP, PT
    Erhard Plödereder, Univ. Stuttgart, DE
    Juan A. de la Puente, Univ. Pol. de Madrid, ES
    Jorge Real, Univ. Pol. de València, ES
    José Ruiz, AdaCore, FR
    Sergio Sáez, Univ. Pol. de València, ES
    Elad Schiller, Chalmers Univ. of Technology, SE
    Frank Singhoff, Univ. de Bretagne Occidentale, FR
    Jorge Sousa Pinto, Univ. of Minho, PT
    Tucker Taft, AdaCore, USA
    Elena Troubitsyna, Åbo Akademi Uni., FI
    Santiago Urueña, GMV, ES
    Tullio Vardanega, Univ. of Padua, IT
    Marcus Völp, Univ. of Luxembourg, LU

    *** Industrial Committee

    Ian Broster, Rapita Systems, UK
    Dirk Craeynest, Ada-Belgium & KU Leuven, BE
    Gonçalo Gouveia, Critical Techworks, PT
    Thomas Gruber, Austrian Institute of Technology, AT
    Andreas Jung, European Space Agency, NL
    Ismael Lafoz, Airbus Military, ES
    Patricia Lopez Cueva, Thales Alenia Space, FR
    Ahlan Marriott, White Elephant, CH
    Maurizio Martignano, Spazio-IT, IT
    Silvia Mazzini, Intecs, IT
    Marco Panunzio, Thales Alenia Space, FR
    Paul Parkinson, Wind River, UK
    Jean-Pierre Rosen, AdaLog, FR
    José Emilio Salazar Marsà, GMV, ES
    Helder Silva, Edisoft, PT
    Pawel Zakrzewski, GE Aviation, PL

    *** Previous Editions

    Ada-Europe organizes annual international conferences since the early
    80's. This is the 24th event in the Reliable Software Technologies
    series, previous ones being held at Montreux, Switzerland ('96),
    London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
    Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria
    ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York,
    UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice,
    Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK
    ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France
    ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17),
    and Lisbon, Portugal ('18).

    Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae.

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

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

    Dirk.Craeynest@cs.kuleuven.be, Ada-Europe 2019 Publicity Chair

    *** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies ***
    June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019
    (V3.2)

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