• 2nd CfP Ada-Europe 2016 Conference, Pisa, Italy

    From Dirk Craeynest@21:1/5 to All on Mon Dec 14 02:32:08 2015
    XPost: comp.compilers, news.announce.conferences

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

    2nd Call for Papers

    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 (approval pending) with ACM SIGAda, SIGBED, SIGPLAN
    and the Ada Resource Association (ARA)

    *** DEADLINE 17 JANUARY 2016 ***
    *** Web submission site open ***

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

    Ada-Europe organizes annual international conferences since the early
    80's. This is the 21st 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), and Madrid, Spain ('15).

    General Information
    -------------------
    The 21st International Conference on Reliable Software Technologies
    - Ada-Europe 2016 will take place in Pisa, Italy. Following its
    traditional style, the conference will span a full week, including
    a three-day technical program and vendor exhibition from Tuesday
    to Thursday, along with parallel tutorials and workshops on Monday
    and Friday.

    The conference has over the years become 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
    representing industry, academia and government organizations active
    in the promotion and development of reliable software technologies.
    The Ada language, a reliable software technology by design, crosses
    all topics of the conference, which nonetheless also welcomes any
    other technologies proposed or in use for reliable software.

    This edition of Ada-Europe also features a focused Special Session
    on Safe, Predictable Parallel Software Technologies. Following the intensifying trend of usage of Multi-/Many-core systems, it is
    increasingly important to assess how reliable software technologies
    need to adapt to these complex platforms, as well as how parallel
    models need to adapt to domains in which safety and predictability
    is a must.

    Conference Proceedings will be published in the Lecture Notes in
    Computer Science (LNCS) series by Springer. Selected papers of the
    conference will be also invited for special issues of Springer's
    Computing Journal (general track papers) and Journal of Parallel
    Programming (special session papers).

    Schedule
    --------
    17 January 2016: Submission of regular papers, industrial
    presentations, tutorial and workshop proposals
    10 March 2016: Notification of acceptance to all authors
    24 March 2016: Camera-ready version of regular papers required
    2 May 2016: Industrial presentation, turorial and workshop
    materials required

    Topics
    ------
    For the general track of the conference, topics of interest include
    but are not limited to:

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

    - 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: Design Patterns, Frameworks, Architecture-
    Centered Development, Component-based Design and Development.

    - Methods and Techniques for 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.

    - Software Quality: Quality Management and Assurance, Risk Analysis,
    Program Analysis, Verification, Validation, Testing of Software
    Systems.

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

    - 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 new 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.

    For the special focus session, topics include (but are not limited to):

    - Predictable Parallel Programming Models.
    - Parallel Language Technologies.
    - Compiler Support for Parallel Execution.
    - Parallel Runtimes and Libraries.
    - Automatic Parallelization.
    - Safety Issues and Reliability Mechanisms for Parallel Execution.
    - Software Modelling and Design Approaches.
    - Hardware Support for Predictability of Parallel Software.

    Call for Papers
    ---------------
    Authors of regular and special session papers which are to
    undergo peer review for acceptance are invited to submit original contributions. Paper submissions shall not exceed 14 LNCS-style
    pages in length. Authors shall submit their work via EasyChair at https://easychair.org/conferences/?conf=adaeurope2016. The format
    for submission is solely PDF.

    Proceedings
    -----------
    The conference proceedings will be published in the Lecture Notes in
    Computer Science (LNCS) series by Springer, and will be available
    at the start of the conference. The authors of accepted regular
    papers shall prepare camera-ready submissions in full conformance
    with the LNCS style, not exceeding 14 pages, and strictly by March
    24, 2016. For format and style guidelines authors should refer to http://www.springer.de/comp/lncs/authors.html. Failure to comply and
    to register for the conference by that date will prevent the paper
    from appearing in the proceedings.

    The International Conference on Reliable Software Technologies is
    ranked class A in CORE. Microsoft Academic Search has it in the top
    third for conferences on programming languages by number of citations
    in the last 10 years. The conference is listed in DBLP, SCOPUS and
    Web of Science Conference Proceedings Citation index, among others.

    Call for Industrial Presentations
    ---------------------------------
    The conference seeks industrial presentations which deliver value and
    insight but may not fit the selection process for regular papers.
    Authors are invited to submit a presentation outline of exactly 1
    page in length by January 17, 2016. Submissions shall be made via
    EasyChair at https://easychair.org/conferences/?conf=adaeurope2016.
    The format for submission is solely PDF. The Industrial Committee
    will review the submissions and make the selection. The authors of
    selected presentations shall prepare a final short abstract, aiming
    at a 20-minute talk. The authors of accepted presentations will be
    invited to submit corresponding articles for publication in the Ada
    User Journal (http://www.ada-europe.org/auj/), which will host the
    proceedings of the Industrial Program of the Conference. For any
    further information please contact the Industrial Co-chairs directly.

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

    Call for Tutorials
    ------------------
    Tutorials should address subjects that fall within the scope of the
    conference and may be proposed as either half- or full-day events.
    Proposals should include a title, an abstract, a description of the
    topic, a detailed outline of the presentation, a description of the
    presenter's lecturing expertise in general and with the proposed
    topic in particular, the proposed duration (half day or full day),
    the intended level of the tutorial (introductory, intermediate, or
    advanced), the recommended audience experience and background, and a
    statement of the reasons for attending. Proposals should be submitted
    by e-mail to the Tutorial Chair. The authors of accepted full-day
    tutorials will receive a complimentary conference registration as well
    as a fee for every paying participant in excess of 5; for half-day
    tutorials, these benefits will be accordingly halved. The Ada User
    Journal will offer space for the publication of summaries of the
    accepted tutorials.

    Call for Workshops
    ------------------
    Workshops on themes that fall 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 should be submitted to the Tutorial and Workshop Chair.
    The workshop organizer shall also commit to preparing proceedings
    for timely publication in the Ada User Journal.

    Call for Exhibitors
    -------------------
    The commercial exhibition will span the three days of the main
    conference. Vendors and providers of software products and services
    should contact the Exhibition Chair for information and for allowing
    suitable planning of the exhibition space and time.

    Grants for Reduced Student Fees
    -------------------------------
    A limited number of sponsored grants for reduced fees is expected
    to be available for students who would like to attend the conference
    or tutorials. Contact the Conference Chair for details.

    Venue
    -----
    The conference will take place at Scuola Superiore Sant'Anna, in the
    heart of Pisa, Italy. Plan in advance as June is full of events in
    Pisa, including in the conference week the Saint Patron's festivities
    (San Ranieri) with the Luminara on the night of June 16.

    Organizing Committee
    --------------------
    Conference Chair
    Giorgio Buttazzo, Scuola Superiore Sant'Anna, Italy
    g.buttazzo@sssup.it

    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

    Special Session Chair
    Eduardo Quinones, Barcelona Supercomputing Center, Spain
    eduardo.quinones@bsc.es

    Tutorial and Workshop Chair
    Jorge Real, Universitat Politecnica de Valencia, Spain
    jorge@disca.upv.es

    Industrial Co-Chairs
    Marco Di Natale, Scuola Superiore Sant'Anna, Italy
    marco@sssup.it
    Tullio Vardanega, Universita di Padova, Italy
    tullio.vardanega@unipd.it

    Publication Chair
    Geoffrey Nelissen, CISTER Research Centre/ISEP, Portugal
    grrpn@isep.ipp.pt

    Exhibition Co-Chairs
    Paolo Gai, Evidence Srl, Italy
    pj@evidence.eu.com
    Ahlan Marriott, White Elephant GmbH, Switzerland
    ahlan@Ada-Switzerland.ch

    Publicity Co-Chairs
    Mauro Marinoni, Scuola Superiore Sant'Anna, Italy
    m.marinoni@sssup.it
    Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
    Dirk.Craeynest@cs.kuleuven.be

    Local Chair
    Ettore Ricciardi, ISTI-CNR, Pisa, Italy
    ettore.ricciardi@isti.cnr.it

    Program Committee
    -----------------
    Mario Aldea, Universidad de Cantabria, Spain
    Ted Baker, NSF, USA
    Marco Bertogna, University of Modena and Reggio Emilia, Italy
    Johann Blieberger, Technische Universität Wien, Austria
    Bernd Burgstaller, Yonsei University, Korea
    Albert Cohen, INRIA, France
    Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
    Michael González Harbour, Universidad de Cantabria, Spain
    J. Javier Gutiérrez, Universidad de Cantabria, Spain
    Jérôme Hugues, ISAE, France
    Raimund Kirner, University of Hertfordshire, UK
    Albert Llemosí, Universitat de les Illes Balears, Spain
    Franco Mazzanti, ISTI-CNR, Italy
    Stephen Michell, Maurya Software, Canada
    Jürgen Mottok, Regensburg University of Applied Sciences, Germany
    Laurent Pautet, Telecom ParisTech, France
    Luís Miguel Pinho, CISTER/ISEP, Portugal
    Erhard Plödereder, Universität Stuttgart, Germany
    Eduardo Quinoñes, Barcelona Supercomputing Center, Spain
    Jorge Real, Universitat Politècnica de València, Spain
    Christine Rochange, IRIT, University of Toulouse, France
    José Ruiz, AdaCore, France
    Sergio Sáez, Universitat Politècnica de Valencia, Spain
    Martin Schoeberl, Technical University of Denmark, Denmark
    Tucker Taft, AdaCore, USA
    Theodor Tempelmeier, University of Applied Sciences Rosenheim, Germany
    Elena Troubitsyna, Åbo Akademi, Finland
    Santiago Urueña, GMV, Spain
    Tullio Vardanega, Università di Padova, Italy

    Industrial Committee
    --------------------
    Ian Broster, Rapita Systems, UK
    Jørgen Bundgaard, Ramboll, Denmark
    Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
    Arne Hamann, Bosch, Germany
    Ismael Lafoz, Airbus Defence & Space, Spain
    Riccardo Mariani, Yogitech, Italy
    Ahlan Marriott, White Elephant, Switzerland
    Paolo Panaroni, Intecs, Italy
    Paul Parkinson, Wind River, UK
    Eric Perlade, AdaCore, France
    Jean-Pierre Rosen, Adalog, France
    Jacob Sparre Andersen, JSA Consulting, Denmark
    Claus Stellwag, Elektrobit AG, Germany
    Jean-Loup Terraillon, European Space Agency, The Netherlands
    Sergey Tverdyshev, SysGO, Germany
    Rod White, MBDA, UK

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

    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)