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

Call for Papers

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

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

*** 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

14 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 14 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 14 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
Jacob Sparre Andersen, JSA Cons., DK
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.

D...@c...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
(V1.3)

do góry