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

First Call for Contributions

28th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2024)

11-14 June 2024, Barcelona, Spain

www.ada-europe.org/conference2024

*** Journal-track submissions by 15 January 2024 ***
*** Other submissions by 26 February 2024 ***

Organized by Ada-Europe
in cooperation with the Barcelona Supercomputing Center

#AEiC2024 #AdaEurope #AdaProgramming

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

*** General Information

The 28th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2024) will take place in Barcelona, Spain. The
conference schedule comprises a journal track, an industrial track,
a work-in-progress track, a vendor exhibition, parallel tutorials,
and satellite workshops.

- Journal-track papers present research advances supported by solid
theoretical foundation and thorough evaluation.
- Industrial-track contributions highlight the practitioners' side
of a challenging case study or industrial project.
- The work-in-progress-track illustrates novel research ideas that are
still at an initial stage, between conception and first prototype.
- Tutorials guide attenders through a hands-on familiarization with
innovative developments or with useful features related to reliable
software.
- Workshops provide discussion forums on themes related to the
conference topics.

*** Schedule

15 January 2024: Deadline for submission of journal-track papers
26 February 2024: Deadline for submission of industrial-track papers,
work-in-progress papers, tutorial and workshop
proposals
22 March 2024: First round notification for journal-track papers,
and notification of acceptance for all other types
of submissions
11-14 June 2024: Conference

*** Scope and 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:
- Formal and Model-Based Engineering of Critical Systems;
- High-Integrity Systems and Reliability;
- AI for High-Integrity Systems Engineering;
- Real-Time Systems;
- Ada Language;
- Applications in relevant domains.

More specific topics are described on the conference web page,
at www.adaeurope.org/conference2024.

*** Call for Submissions

Details per track will follow shortly.

*** Organizing Committee

- Conference Chair
Sara Royuela, Barcelona Supercomputing Center, Spain
sara.royuela at bsc.es

- Journal-track Chairs
Bjorn Andersson, Carnegie Mellon University, USA
baandersson at sei.cmu.edu
Luis Miguel Pinho, ISEP & INESC TEC, Portugal
lmp at isep.ipp.pt

- Industrial-track Chairs
Luciana Provenzano, M�lardalen University, Sweden
luciana.provenzano at mdu.se
Michael Pressler, Bosch, Germany
Michael.Pressler at de.bosch.com

- Work-In-Progress-track Chairs
Alejandro R. Mosteo, CUD Zaragoza, Spain
amosteo at unizar.es
Ruben Martins, Carnegie Mellon University, USA
rubenm at andrew.cmu.edu

- Tutorial Chair
Maria A. Serrano, NearbyComputing, Spain
maria.serrano at nearbycomputing.com

- Workshop Chair
Sergio Saez, Universitat Polit�cnica de Val�ncia, Spain
ssaez at disca.upv.es

- Exhibition & Sponsorship Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
ahlan at Ada-Switzerland.ch

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

- Webmaster
Hai Nam Tran, University of Brest, France
hai-nam.tran at univ-brest.fr

- Local Chair
Nuria Sirvent, Barcelona Supercomputing Center, Spain
nuria.sirvent at bsc.es

*** Previous Editions

Ada-Europe organizes annual international conferences since the early
80's. This is the 28th 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), Warsaw, Poland ('19), online from Santander,
Spain ('21), Ghent, Belgium ('22), and Lisbon, Portugal ('23).

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

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

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

Dirk Craeynest, AEiC 2024 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be

* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024

(V1.1)