CfC 30th Ada-Europe Int. Conf. Reliable Software Technologies

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


                                                  Call for Contributions


                            30th Ada-Europe International Conference on
                              Reliable Software Technologies (AEiC 2026)


                                        9-12 June 2026, Västerås, Sweden


                                      www.ada-europe.org/conference2026


        *** Journal and regular track submissions by 16 January 2026 ***
                          *** Other submissions by 27 February 2025 ***


                      Organized by Ada-Europe and Mälardalen University


                                    #AEiC2026 #AdaEurope #AdaProgramming


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


*** General Information


The 30th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2026 aka Ada-Europe 2026) will take place in
Västerås, Sweden. The conference schedule comprises keynote talks,
a journal track, an industrial track, a regular papers track, a
work-in-progress track, a vendor exhibition, parallel tutorials,
and satellite workshops.


- Journal track papers present journal-level 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.
- Regular track papers present conference-level (full paper) research
    advances.
- Work-in-progress track papers illustrate 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.
- Vendor presentations and exhibitions allow for companies to showcase
    their latest products and services.


*** Schedule


16 January 2026: Deadline for submission of journal track papers
27 February 2026: Deadline for submission of regular track papers,
                                    industrial track abstracts, work-in-progress papers,
                                    and tutorial and workshop proposals
27 March 2026: First round notification for journal track papers,
                                    and notification of acceptance for all other types
                                    of submissions
9-12 June 2026: 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:
* Formal methods, testing, and model-based engineering of
    critical systems;
* High-integrity systems and reliability;
* AI for safety-critical and high-integrity systems engineering;
* Real-time systems;
* Ada language and technologies;
* Applications and experimental evaluations in relevant domains.


More specific topics are described on the conference web page.


*** Call for Journal Track Submissions


The conference includes a journal track, which seeks original
and high-quality papers, not submitted elsewhere, which describe
mature research work on the conference topics. Accepted journal
track papers will be published in a Special Issue of Elsevier's JSA
(https://www.sciencedirect.com/journal/journal-of-systems-architecture)
- the Journal of Systems Architecture (Q1 ranked, CiteScore 10.5,
impact factor 4.1). Contributions must be submitted by 16 January
2026 and should not exceed 25 pages (in case the authors need more
pages the journal track chairs need to be contacted).


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 (including major
revisions) will be invited to present their work at the conference.
The abstracts of the accepted contributions will be included in the
conference booklet. Prospective authors may direct all enquiries
regarding this track to the corresponding chairs.


*** Call for Regular Track Submissions


The conference includes a regular track, which seeks original and
high-quality submissions, not submitted elsewhere, which describe
mature research work on the conference topics. Accepted papers will
be published in the Open Access Series in Informatics (OASICS series:
https://drops.dagstuhl.de/entities/series/OASIcs, approval pending) and
should be formatted according to the one-column format, not exceeding
16 pages, excluding references. Contributions must be submitted by
27 February 2026. The abstracts of the accepted contributions will
be included in the conference booklet.


*** 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 one-to-two pages abstract, by 27 February 2026.


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
(https://www.ada-europe.org/auj/scope/), which will form the
proceedings of the industrial track of the Conference.


*** 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 or regular
tracks. 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 M.Sc. graduates and Ph.D. students are especially
sought. Authors shall submit their work by 27 February 2026.


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 the 1-pagers) for publication in the Ada User
Journal (https://www.ada-europe.org/auj/scope/), which will form the
proceedings of the WiP track of the conference.


*** 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 27 February 2026 to the respective chairs.


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 at either end 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 27 February 2026 to
the respective chair. Once submitted, each workshop proposal will
be evaluated by the conference organizers as soon as possible.


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


*** Venue


The conference will take place at Mälardalen University, Västerås,
Sweden. Mälardalen University (MDU), one of Sweden's youngest and most
dynamic universities, is a leading institution for applied research
and innovation in collaboration with industry and the public sector.
Established in 1977 and granted full university status in 2022,
MDU is home to over 17,000 students and 1,000 staff members, with
strong international ties and research excellence in areas such as
embedded systems, future energy, health and welfare, and sustainable
development. The university houses several internationally recognized
research environments, out of which Embedded Systems, Innovation and
Product Realization, and Future Energy are among the most prominent
ones. MDU's campuses (Västerås and Eskilstuna) are modern, centrally
located, and purpose-built to foster interdisciplinary collaboration
and innovation.


Västerås is one of Sweden's oldest cities and now a hub for
advanced technology, energy innovation, and digital transformation.
Strategically located just an hour west of Stockholm and easily
accessible by train, bus or car, Västerås is home to global tech
companies such as ABB, Alstom, Westinghouse. The city sits on the
shores of Lake Mälaren and combines scenic beauty, a vibrant cultural
life, and excellent infrastructure. Västerås Airport offers direct
flights to several European destinations, and Stockholm Arlanda
International Airport is reachable within 90 minutes. With its
blend of historical charm, green parks, and cutting-edge industry,
Västerås offers the perfect setting for an inspiring and high-impact
academic and industrial gathering.


*** Organizing Committee


- General Chairs
    Cristina Seceleanu, Mälardalen University
    cristina.seceleanu at mdu.se
    Kristina Lundqvist, Mälardalen University
    kristina.lundqvist at mdu.se


- Journal track Co-chairs
    Axel Jantsch, TU Wien
    axel.jantsch at tuwien.ac.at
    António Casimiro, University of Lisbon
    casim at ciencias.ulisboa.pt


- Industrial track Co-chairs
    Sahar Tahvili, Einride AB
    sahar.tahvili at einride.tech
    Rong Gu, Mälardalen University
    rong.gu at mdu.se


- Regular papers track Co-chairs
    Antonio Filieri, Amazon Web Services
    afilieri at amazon.com
    Peter Backeman, Mälardalen University
    peter.backeman at mdu.se


- Work-in-progress track Co-chairs
    Malvina Latifaj, Mälardalen University
    malvina.latifaj at mdu.se
    Federico Aromolo, Scuola Sant'Anna
    federico.aromolo at santannapisa.it


- Workshop Chair
    Dene Brown, SysAda Limited
    dene.brown at sysada.co.uk


- Tutorial Chair
    Henry Muccini, University of L'Aquila
    henry.muccini at univaq.it


- Exhibition & Sponsorship Chair
    Tiberiu Seceleanu, Mälardalen University
    tiberiu.seceleanu at mdu.se


- Finance Chair
    Ahlan Marriott, White Elephant GmbH
    ahlan at ada-switzerland.ch


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


- Webmasters
    Hai Nam Tran, University of Brest
    hai-nam.tran at univ-brest.fr
    Leo Hatvani, Mälardalen University
    leo.hatvani at mdu.se


- Local Chair
    Susanne Fronnå, Mälardalen University
    susanne.fronna at mdu.se


*** Previous Editions


Ada-Europe organizes annual international conferences since the early
80's. This is the 30th 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), Barcelona,
Spain ('24), and Paris, France ('25).


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


* 30th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2026)
* June 9-12, 2026, Västerås, Sweden, www.ada-europe.org/conference2026

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