XPost: comp.sw.components, comp.os.qnx, comp.os.linux.embedded
XPost: sci.math.num-analysis

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

*** UPDATED Call for Contributions - VIRTUAL EVENT ***

25th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2021)

7-11 June 2021, online

www.ada-europe.org/conference2021

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

*** Extended DEADLINE 31 MARCH 2021 AoE ***

#AEiC2021 ##AdaEurope AdaProgramming

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

*** News

- AEiC 2021 will be a virtual-only event.

- Deadline for Industrial Presentation outlines and Tutorial proposals
is extended to 31 March 2021.

*** General Information

The 25 Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2021 aka Ada-Europe 2021), initially scheduled to
take place in Santander, Spain, will be held online from the 7th to
the 11th of June, 2021. The conference schedule includes a technical
program, vendor exhibition and parallel tutorials and workshops.

Despite the COVID-19 situation which led to the cancellation of the
previous edition of the conference, there is a firm commitment to
celebrate the 2021 edition in any case. The organizing committee
estimates that the conditions for a safe in-person conference will
not be met in June 2021. Consequently, the AEiC 2021 Conference will
be a virtual-only event.

*** Schedule

14 January 2021: Submission of journal-track papers, and workshop
(CLOSED) proposals

19 March 2021: Notification of acceptance for journal-track paper
presentations and workshops

31 March 2021: Submission of Work-in-Progress (WiP) papers,
industrial presentation outlines, and tutorial and
invited presentation proposals

30 April 2021: Notification of acceptance for WiP papers, industrial
presentation outlines, and tutorial and invited
presentations

*** 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 have keynotes, Q&A sessions and discussions,
and virtual 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 Journal-Track Papers

The journal-track papers submitted to the conference are full-length
papers that must describe mature research work on the conference
topics. They must be original and shall undergo anonymous peer review.

Accepted journal-track papers will get a presentation slot within
a technical session of the conference and they will be published in
an open-access special issue of the Journal of Systems Architecture
(Q2 in the JCR and SJR ranks) with no additional costs to authors.
The corresponding authors shall submit their work by 14 January 2021
via the Special Issue web page: https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/special-issue-on-reliable-software-technologies-aeic2021.

Submitted papers must follow the guidelines provided in the
"Guide-for-Authors" of the JSA (https://www.elsevier.com/journals/ journal-of-systems-architecture/1383-7621/guide-for-authors).
In particular, JSA does not impose any restriction on the format or
extension of the submissions.

*** Call for WiP-Track Papers

The Work-in-Progress papers (WiP-track) are short (4-page) papers
describing evolving and early-stage ideas or new research directions.
They must be original and shall undergo anonymous peer review.
The corresponding authors shall submit their work by 31 March 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and
following the Ada User Journal style (http://www.ada-europe.org/auj/).

Authors of accepted WiP-track papers will get a presentation slot
within a regular technical session of the conference and will also
be requested to present a poster. The papers will be published in
the Ada User Journal as part of the proceedings of the Conference.
The conference is listed in the principal citation databases,
including DBLP, Scopus, Web of Science, and Google Scholar. The Ada
User Journal is indexed by Scopus and by EBSCOhost in the Academic
Search Ultimate database.

*** 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, in the
form of a short (one or two pages) abstract, by 31 March 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and
following the Ada User Journal style (http://www.ada-europe.org/auj/).

The Industrial Committee will review the submissions anonymously and
make recommendations for acceptance. The abstract of the accepted contributions will be included in the conference booklet, and authors
will get a presentation slot within a regular technical session of
the conference.

These authors will also be invited to expand their contributions
into articles for publication in the Ada User Journal, as part of
the proceedings of the Industrial Program of the Conference.

*** Awards

Ada-Europe will offer an honorary award for the best presentation.
All journal-track and industrial presentations are eligible.

*** Call for Invited Presentations

The invited presentations are intended to allow researchers
to present paramount research results that are relevant to the
conference attendees. There will be no publication associated to
these presentations, which may include previously published works,
relevant new tools, methods or techniques. The invited presentations
will be allocated a presentation slot.

The Program Committee will select invited presentation proposals that
may be submitted by e-mail to one of the Program Chairs as a one-page
summary of the proposed presentation, along with the information
and/or links required to show the relevance of the covered topic.

*** Call for Educational Tutorials

The conference is seeking tutorials in the form of educational seminars including hands-on or practical demonstrations. Proposed tutorials
can be from any part of the reliable software domain, they may be
purely academic or from an industrial base making use of tools used in
current software development environments. We are also interested in contemporary software topics, such as IoT and artificial intelligence
and their application to reliability and safety.

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). All proposals should be
submitted by e-mail to the Educational Tutorial Chair.

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 days. Workshop proposals
should be submitted by e-mail 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. As an alternative to the traditional physical exhibition,
a virtual room will be provided for exhibition activities. 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.

*** Organizing Committee

* Conference Chair
Michael González Harbour, Universidad de Cantabria, Spain
mgh at unican.es

* Program Chairs
Mario Aldea Rivas, Universidad de Cantabria, Spain
aldeam at unican.es
J. Javier Gutiérrez, Universidad de Cantabria, Spain
gutierjj at unican.es

* Work-in-Progress Chair
Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway
kristoffer.gregertsen at sintef.no

* Tutorial & Workshop Chair
Jorge Garrido Balaguer, Universidad Politécnica de Madrid, Spain
jorge.garrido at upm.es

* Industrial Chair
Patricia Balbastre Betoret, Universitat Politècnica de València, Spain
patricia at ai2.upv.es

* 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

*** Program Committee

Mario Aldea Rivas, Univ. de Cantabria, ES
Johann Blieberger, Vienna Univ. of Technology, AT
Bernd Burgstaller, Yonsei Univ., KR
Daniela Cancila, CEA LIST, FR
António Casimiro, Univ. Lisboa, PT
Xiaotian Dai, University of York, UK
Juan A. de la Puente, Univ. Pol. de Madrid, ES
Barbara Gallina, Mälardalen Univ., SE
Marisol García Valls, Univ. Politècnica de València, ES
J. Javier Gutiérrez, Univ. de Cantabria, ES
Jérôme Hugues, CMU/SEI, USA
Patricia López Martínez, Univ. de Cantabria, ES
Lucía Lo Bello, DIEEI - Univ. degli Studi di Catania, ES
Kristina Lundqvist, Malardalen University, SE
Kristoffer Nyborg Gregertsen, SINTEF Digital, NO
Laurent Pautet, Telecom ParisTech, FR
Luís Miguel Pinho, CISTER/ISEP, PT
Jorge Real, Univ. Politècnica de València, ES
José Ruiz, AdaCore, FR
Sergio Sáez, Univ. Politècnica de València, ES
Frank Singhoff, Univ. de Bretagne Occidentale, FR
Tucker Taft, AdaCore, USA
Elena Troubitsyna, Åbo Akademi Uni., FI
Santiago Urueña, GMV, ES
Tullio Vardanega, Univ. of Padua, IT

*** Industrial Committee

Patricia Balbastre, Univ. Politècnica de València, ES
Dirk Craeynest, Ada-Belgium & KU Leuven, BE
Ahlan Marriott, White Elephant, CH
Maurizio Martignano, Spazio IT, IT
Silvia Mazzini, Intecs, IT
Laurent Rioux, Thales R&T, FR
Jean-Pierre Rosen, Adalog, FR

*** Previous Editions

Ada-Europe organizes annual international conferences since the early
80's. This is the 25th 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),
Lisbon, Portugal ('18), and Warsaw, Poland ('19).

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, AEiC 2021 Publicity Chair (aka Ada-Europe 2021) Dirk.Craeynest@cs.kuleuven.be

* 25th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2021)
* June 7-11, 2021 * online event * www.ada-europe.org/conference2021 **
(V3.6)

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