----------------------------------------------------------------------- UPDATED 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 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 industrial track abstracts, regular track papers, 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 (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. 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: drops.dagstuhl.de/entities/series/OASIcs) and should be formatted according to the one-column format, not exceeding 16 pages, excluding references. Contributions must be submitted by 27 February 2026. *** 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. Authors will will also be invited to expand their contributions into full-fledged articles for publication in the Ada User Journal (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. Authors will also be offered the opportunity to publish their contributions (and expand to a 4-page article for the 1-pagers) in the Ada User Journal (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 the published deadline, to the Tutorial Chair, with subject line: "[AEiC 2026: 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 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 the stated deadline, to the respective chair, with subject line: "[AEiC 2026: 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 10.5 and Impact Factor 4.1. The OASIcs series, venue for regular track proceedings, provides Open Access online publicationis, and is indexed by SCOPUS and DBPL. The Ada User Journal, venue of the other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Conference Booklet The abstract of the accepted contributions (journal, regular, industrial, WiP) will be included in the conference booklet, which will be distributed to all participants, and made available online. *** 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 is in-person, and 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