Ada-Europe Conference - 2nd Call for Contributions - AEiC 2025 (Paris, June 2025)

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


                                          UPDATED Call for Contributions


                            29th Ada-Europe International Conference on
                              Reliable Software Technologies (AEiC 2025)


                                          10-13 June 2025, Paris, France


                                      www.ada-europe.org/conference2025


                    *** Journal-track submissions by 20 January 2025 ***
                          *** Other submissions by 24 February 2025 ***


                                  Organized by Ada-Europe and Ada-France


                                    #AEiC2025 #AdaEurope #AdaProgramming


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


*** General Information


The 29th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2025 aka Ada-Europe 2025) will take place in
Paris, France. The conference schedule comprises keynote talks,
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.
- Work-in-progress track papers illustrate novel research ideas 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.
- Vendor presentations and exhibitions allow for companies to showcase
    their latest products and services.


*** Schedule


20 January 2025: Deadline for submission of journal track papers
24 February 2025: Deadline for submission of industrial track papers,
                                    work-in-progress papers, and tutorial and workshop
                                    proposals
28 March 2025: First round notification for journal track papers,
                                    and notification of acceptance for all other types
                                    of submissions
10-13 June 2025: 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, 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 (more specific topics are described on the conference web page):
- 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.ada-europe.org/conference2025.


*** Call for Journal Track Submissions


Following a journal-first model, this edition of the conference
includes a journal track, which seeks original and high-quality
papers that describe mature research work on the conference topics.
Accepted journal track papers will be published in a Special Issue
of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked,
CiteScore 8.5, impact factor 3.7). Contributions must be submitted
by 20 January 2025. For details see conference web site.


JSA has adopted the Virtual Special Issue model to speed up the
publication process, where Special Issue (SI) papers are published
in regular issues, but marked as SI papers. Acceptance decisions
are made on a rolling basis. Therefore, authors are encouraged to
submit papers early, and need not wait until the submission deadline.
Authors who have successfully passed the first round of review will
be invited to present their work at the conference. The abstract of
the accepted contributions will be included in the conference booklet.


Please note that the Ada-Europe organization will waive the Open
Access fees for the first four accepted papers, which do not already
enjoy OA from other agreements with the Publisher. Subsequent papers
will follow JSA regular publishing track. Prospective authors may
direct all enquiries regarding this track to the corresponding chairs,
Laurent Pautet and Sara Royuela.


*** Call for Industrial Track Submissions


The conference seeks industrial-practitioner presentations that deliver
insight on the challenges of developing reliable software. Especially
welcome kinds of submissions are listed on the conference web site.
Given their applied nature, such contributions will be subject to a
dedicated practitioner peer-review process. Interested authors shall
submit a 1-to-2 pages abstract, by 24 February 2025, via EasyChair
at https://easychair.org/conferences/?conf=aeic2025, selecting the
"Industrial track". The format for submission is strictly in PDF,
following the Ada User Journal style; templates are available at
http://www.ada-europe.org/auj/guide.


The abstracts of the accepted contributions will be included in the
conference booklet. The corresponding authors will get a presentation
slot in the prime-time technical program of the conference and will
also be invited to expand their contributions into full-fledged
articles for publication in the Ada User Journal, which will form
the proceedings of the industrial track of the Conference.


Prospective authors may direct all enquiries regarding this track to
its chairs, Daniela Cancila and Laurent Gouzenes.


*** Call for Work-in-progress Track Submissions


The work-in-progress (WiP) track seeks two kinds of submissions:
(a) ongoing research and (b) early-stage ideas. Ongoing research
submissions are 4-page papers describing research results that are
not mature enough to be submitted to the journal track. Early-stage
ideas are 1-page papers that pitch new research directions that fall
within the scope of the conference. Both kinds of submissions must
be original and shall undergo anonymous peer review. Submissions
by recent MSc graduates and PhD students are especially sought.
Authors shall submit their work by 24 February 2025, via EasyChair
at https://easychair.org/my/conference?conf=aeic2025, selecting the
"Work-in-progress track". The format for submission is strictly in
PDF, following the Ada User Journal style; templates are available
at http://www.ada-europe.org/auj/guide.


The abstracts of the accepted contributions will be included in the
conference booklet. The corresponding authors will get a presentation
slot in the prime-time technical program of the conference and will
also be offered the opportunity to expand their contributions into
4-page articles for publication in the Ada User Journal, which will
form the proceedings of the WiP track of the conference.


Prospective authors may direct all enquiries regarding this track to
the corresponding chairs, Hai Nam Tran and Anish Bhobe.


*** Award


The Ada-Europe organization will offer an honorary award for the
best technical presentation, to be announced in the closing session
of the conference.


*** Call for Tutorials


The conference seeks tutorials in the form of educational
seminars on themes falling within the conference scope, with an
academic-for-practitioner slant, including hands-on or practical
elements.


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), the intended level of the contents
(introductory, intermediate, or advanced), and a statement motivating
attendance. Tutorial proposals shall be submitted at any time but
no later than 24 February 2025, by e-mail to the respective chair,
Robert Cholay, with subject line: "[AEiC 2025: tutorial proposal]".


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


*** Call for Workshops


The conference welcomes satellite workshops centred on themes that
fall within the conference scope. Proposals may be submitted for
half- or full-day events, to be scheduled on the Friday of the AEiC
conference. Workshop organizers shall also commit to producing the
proceedings of the event, for publication in the Ada User Journal.
Workshop proposals shall be submitted at any time but no later than
24 February 2025, by e-mail to the respective chair, Anish Bhobe,
with subject line: "[AEiC 2025: workshop proposal]". Once submitted,
each workshop proposal will be evaluated by the conference organizers
as soon as possible.


*** Academic Listing


The Journal of Systems Architecture, publication venue of the journal-
track proceedings of the conference, is Q1 ranked, with CiteScore
8.5 and Impact Factor 3.7. The Ada User Journal, venue of all other
technical proceedings of the conference, is indexed by Scopus and by
EBSCOhost in the Academic Search Ultimate database.


*** Call for Exhibitors and Sponsors


The conference will include a vendor and technology exhibition, with
the option of a 20 minutes presentation as part of the conference
program. Interested providers should direct inquiries to the
Exhibition & Sponsorship Chair, Ahlan Marriott.


*** Venue


The conference will take place at Mines Paris. Mines Paris - PSL,
a founding member of Université PSL, is a leading French engineering
school and the French leader institution in research partnerships.
Founded 240 years ago to help spur the energy efforts called by the
Industrial Revolution, it has been since training engineers in a
wide spectrum of scientific disciplines. With about 1,500 students,
including 100 PhD graduates per year, Mines Paris - PSL hosts 18
research centers and 5 academic departments. It is located along
the Luxembourg gardens, next to the Quartier Latin, and is close
to public transportation, including line B of the RER to Charles De
Gaulle airport (CDG).


Paris, the capital city of France, is renowned for its rich history,
stunning architecture, and vibrant culture. Often referred to as
"The City of Light," Paris is home to iconic landmarks such as the
Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. The city
is a global center for art, fashion, gastronomy, science and culture,
attracting millions of visitors each year.


*** Organizing Committee


- Conference Chair
    Jean-Pierre Rosen, Adalog & Ada-France
    rosen at adalog.fr


- Journal track Co-chairs
    Laurent Pautet, Telecom Paris
    laurent.pautet at telecom-paris.fr
    Sara Royuela, Barcelona Supercomputing Center
    sara.royuela at bsc.es


- Industrial track Co-chairs
    Daniela Cancila, CEA LIST
    daniela.cancila at cea.fr
    Laurent Gouzenes, Pacte-Novation
    lgouzenes at pactenovation.fr


- Work-in-progress track Co-chairs
    Hai Nam Tran, University of Brest
    hai-nam.tran at univ-brest.fr
    Anish Bhobe, Telecom Paris
    anish.bhobe at telecom-paris.fr


- Tutorial Chair
    Robert Cholay, Systerel
    robert.cholay at systerel.fr


- Workshop Chair
    Anish Bhobe, Telecom Paris
    anish.bhobe at telecom-paris.fr


- Exhibition & Sponsorship Chair
    Ahlan Marriott, White Elephant GmbH
    ahlan at ada-switzerland.ch


- Finance Chair
    Paul Duquennoy
    paul.duquennoy at free.fr


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


- Local Chair
    Pierre Jouvelot, Mines Paris, PSL University
    pierre.jouvelot at minesparis.psl.eu


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


*** Journal Track Committee


Alejandro Mosteo, CUD Zaragoza, Spain
Andrea Marongiu, University of Modena and Reggio Emilia, Italy
Ann Laguna, De La Salle University, USA
Angeliki Kritikakou, University of Rennes, France
António Casimiro, University of Lisbon, Portugal
Bjorn Andersson, SEI, USA
C. Michael Holloway, NASA, USA
Cristina Seceleanu, Mälardalen University, Sweden
Doug Schmidt, Vanderbilt University, USA
Frank Singhoff, University of Brest, France
George Lima, Universidade Federal da Bahia, Brazil
Isaac Amundson, Rockwell Collins, USA
Jérôme Hugues, CMU/SEI, USA
John B Goodenough, CMU, USA
Kerstin Bach, Norwegian University of Science and Technology, Norway
Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway
Laura Carnevali, University of Florence, Italy
Laurent Pautet, Telecom ParisTech, France
Leonidas Kosmidis, Barcelona Supercomputing Center, Spain
Liliana Cucu-Grosjean, Inria, France
Luis Miguel Pinho, ISEP & INESC TEC, Portugal
Mario Aldea Rivas, University of Cantabria, Spain
Martina Maggio, Saarland University, Germany
Matthias Becker, KTH - Royal Institute of Technology, Sweden
Patricia López Martínez, University of Cantabria, Spain
Risat Pathan, Chalmers University, Sweden
Sara Royuela, Barcelona Supercomputing Center, Spain
Sergio Sáez, Universitat Politècnica de València, Spain
Susanne Graf, University Grenoble Alpes, France
Steven Xiaotian Dai, University of York, UK
Tucker Taft, AdaCore, USA
Tullio Vardanega, University of Padua, Italy
Xhevahire Ternava, Telecom Paris, France


*** Industrial Track Committee


Alexander Viehl, FZI Research Center for Information Technology, Germany
Ana Rodríguez, Silver Atena, Spain
Claire Dross, AdaCore, France
Daniela Cancila, CEA, France
Elena Lisova, Volvo CE, Sweden
Enricco Mezzetti, Barcelona Supercomputing Center, Spain
Federico Aromolo, Scuola Superiore Sant'Anna, Italy
Helder Silva, Edisoft, Portugal
Hugo Torres Vieira, Evidence Srl, Italy
Irune Agirre, Ikerlan, Spain
José Ruiz, AdaCore, France
Laurent Gouzènes, Pacte Novation, France
Marco Panunzio, Thales Alenia Space, France
Michael Pressler, Robert Bosch GmbH, Germany
Raúl de la Cruz, Collins Aerospace, Ireland
Santiago Urueña, GMV, Spain
Saqib Hasan, Collins, USA, USA


*** Work-in-Progress Track Committee


Abderaouf Nassim Amalou, Univeristy of Nantes, LS2N, France
Alan Oliveira, University of Lisbon, Portugal
Alexandre Honorat, INRIA Grenoble, France
Anish Bhobe, Telecom Paris, France
Audrey Quedet, Univeristy of Nantes, LS2N, France
Hai Nam Tran, University of Brest, Lab-STICC, France
J. Javier Gutiérrez, University of Cantabria, Spain
Jérémie Guiochet, LAAS-CNRS, France
José Cecílio, University of Lisbon, Portugal
Kalinka Branco, University of São Paulo, Brazil
Leandro Buss Becker, University of Manchester, UK
Samuel Tardieu, Telecom Paris, France
Sara Abbaspour, Mälardalen University, Sweden
Shuo-Han Chen, NYCU, Taiwan
Stéphane Rubini, University of Brest, Lab-STICC, France
Tiago Carvalho, ISEP, Portugal


*** Previous Editions


Ada-Europe organizes annual international conferences since the early
80's. This is the 29th 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), Lisbon, Portugal ('23), and Barcelona,
Spain ('24).


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 2025 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be Dirk.Craeynest@kuleuven.be


* 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025)
* June 10-13, 2025, Paris * France, www.ada-europe.org/conference2025

Return to the comp.compilers page.
Search the comp.compilers archives again.