Path: csiph.com!weretis.net!feeder9.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: Dirk.Craeynest@cs.kuleuven.be Newsgroups: comp.compilers,comp.parallel Subject: Ada-Europe - AEiC 2026 early registration deadline imminent (Sweden, June 26) Date: Mon, 18 May 2026 22:16:24 +0200 Organization: Compilers Central Sender: johnl%iecc.com Approved: comp.compilers@iecc.com Message-ID: <26-05-003@comp.compilers> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="579"; mail-complaints-to="abuse@iecc.com" Keywords: Ada, conference Posted-Date: 25 May 2026 14:36:58 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:3733 comp.parallel:1596 ----------------------------------------------------------------------- UPDATED Call for Participation *** Early registration DEADLINE Fri May 29 *** 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) 9-12 June 2026, Västerås, Sweden www.ada-europe.org/conference2026 *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** Organized by Ada-Europe and Mälardalen University, in cooperation with ACM SIGPLAN and the Ada User Society, supported and sponsored by Ada-Europe and AdaCore #AEiC2026 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** UPDATE Ada-Europe - AEiC 2026 early registration deadline imminent Register now: discounted fees until Friday May 29! Come to the Ada-Europe conference in Västerås, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Profit from the half-day "Introduction to Ada" and "Advanced Ada" tutorials on Tuesday: they have a reduced registration fee of 20 EUR, thanks to Ada-Europe sponsoring. Due to extra conference sponsoring, the full-day Ada Developers Workshop on Friday also has an extremely low 20 EUR registration fee! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and much more. *** General Information The 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) returns after 14 years to Sweden. The conference schedule comprises 2 keynote talks, a journal track, a regular paper track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2026 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. The conference presentations 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 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 and embedded systems; Ada language and technologies; applications and experimental evaluations in relevant domains. More specific topics are described on the conference website. The 2026 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for one author per presentation; - extra low registration fee for Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - tutorials on Tuesday, followed by welcome event for all participants; - compact program with two core days (Wednesday & Thursday); - optional chill event on Thursday evening; - workshops on Friday. *** Overview of the Week - Tue 09: 5 half-day tutorials, welcome reception; - Wed 10: core technical program, conference banquet; - Thu 11: core technical program, post conference chill-out; - Fri 12: 3 full-day workshops. You will find extensive information about AEiC 2026 on the conference website, such as an overview of the program, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** 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. *** Invited Speakers This year the conference will once more feature keynote talks. They will address topics of relevance in the conference scope, with time for questions and answers. - On Wednesday morning, June 10, a keynote talk by Mark van den Brand, Eindhoven University of Technology (TU/e), Eindhoven, the Netherlands: "From Virtual Prototyping to Digital Twin Engineering". - On Thursday morning June 11, a keynote talk by Martin Monperrus, KTH Royal Institute of Technology, Stockholm, Sweden: "Bootstrapping Coding Agents: The Specification Is the Program". *** Conference Core Composition The core conference program features six distinct types of technical presentations, with different duration, all followed by various manners of discussion time: keynote (1 hour), journal track talk (25 minutes), regular track talk (20 minutes), industrial track presentation (15 minutes), work-in-progress track talk (10 minutes), vendor presentation (15 minutes). All papers presented in the journal, regular, industrial and work-in-progress tracks have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations is on the conference website. The detailed schedule will be announced later. Papers and Presentations: - 2 keynotes; - 6 sessions with a mix of presentations on specific topics; - 9 journal track talks; - 7 regular track talks; - 3 work-in-progress reports; - 4 industrial presentations and experience reports; - submissions from around the world. *** Tutorials Improve the benefits of coming to the conference further by attending our tutorials, all given by well-known experts. Five half-day tutorials are scheduled on Tuesday 9th: - "Get Started with Formal Methods for Safety and Security using SPARK" by Olivier Henley, AdaCore, Canada. Ada SPARK is a language that enables formal deductive verification, allowing developers to statically prove the absence of runtime errors as well as functional correctness. Join us in this half day tutorial where we start from scratch to install our toolchain, integrate with VS Code and then use AI to generate a first version of our program. We then incrementally use formal verification to prove the absence of runtime errors and lastly functional correctness and optionally run our program on a Raspberry Pi Pico. - "Introduction to Ada" (morning) & "Advanced Ada" (afternoon) by Jean-Pierre Rosen, Adalog, France. This tutorial is an overview of the Ada programming language, from basic syntax to its most sophisticated features. It focuses on what makes Ada different from other languages, and on the benefits that it provides for safety, reliability, maintainability, reusability, and efficiency. The tutorial covers all the main components of the language, accompanied with many examples. It illustrates the benefits of strong typing, the accurate model of numerical computations, the Ada approach to object oriented programming, its unique features for programming by contract, and its support for the concurrency and low level embedded systems programming. It concludes with an overview of the standard libraries (including the annexes), an introduction to SPARK, the high-reliability provable subset of Ada, an overview of the tools available, and examples of industrial users. The tutorial is structured in two parts, that can be taken seperately (morning/afternoon). The morning will cover the long-lived small and large scale programming features of Ada, and the afternoon will cover features added in newer Ada versions (e.g., containers, interfaces, contracts, expressions, parallelism). Due to Ada-Europe sponsoring, both tutorials have a reduced registration fee of only 20 EUR. The morning tutorial is ideal for those without Ada experience to get an overview of the language and its benefits. The afternoon tutorial is perfect to learn about the further evolution of the language. - "From Cloud to Bareboard Separating Application and Infrastructure with WebAssembly" by Edoardo Tinto, University of Padua, Italy. This hands-on tutorial presents and discusses the traits that make WebAssembly practical in critical embedded systems, starting from the design choices behind its bytecode specification. This tutorial also reviews the state of the current Wasm ecosystem, for compilation toolchains and execution environments. Most of all, this tutorial illustrates hands-on how to use WebAssembly, paired with a memory-safe programming language, to develop applications made of isolated and live-migratable components. - "Writing Desktop Graphical User Interfaces in Ada" by Gautier de Montmollin, Ada-Switzerland, Switzerland. With all the focus on embedded systems, safety-critical systems, and large systems as "the" deployment area for the Ada language, we tend too often to forget its general-purpose nature and the availability of usable open-source libraries for creating "normal" applications such as Graphical User Interfaces (GUIs). In this tutorial, we show some examples of desktop applications of various sizes deployed in the real world and explain the underlying programming techniques for mastering Graphical User Interfaces, with specific subtleties of Ada regarding Object-Orientation. *** Satellite Events Three workshops are held on Friday 12th: - 3rd Ada Developers Workshop. An informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates. A full "Ada day" with 7 technical presentations on various Ada-related topics by 8 authors from 8 countries: Argentina, Belgium, Canada, France, India, Spain, Switzerland, and USA. The detailed schedule is available on the workshop's webpage. All time slots include Q&A. There will be extra time for participant interactions in between talks, and during breaks and lunch. At the end of the day, there will be time for an open discussion (including online participants). - 22th Workshop on Advances in Model Based Testing (A-MOST 2026). The goal of the workshop is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in Model Based Testing. Submission deadline is 20 May 2026. - Workshop on Digital Twin Experiences (DTE). The workshop brings together researchers and practitioners from diverse backgrounds, including software engineering, data science, systems engineering, and industry applications. The aim is to foster dialogue across disciplines and better understand both the opportunities and challenges of digital twin technologies. Submission deadline was 3 May 2026. *** Social Program The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday evening: Welcome Reception at the "Piccolo Västerås", a nice venue right in the centre of Västerås! - Wednesday evening: Conference Banquet at, "Petterssons Matservice", a family run venue since 1991, located at a 20-25 min bus ride. - Thursday evening: the Chill Event, an informal dinner with a separate registration; have a little chat with colleagues at the "Djäknebergets Restaurang", a casual setting overlooking the city. *** Sponsorship and Exhibition The conference is a leading international gathering of users and developers of reliable software technologies that offers companies the opportunity to get in contact with the AEiC community and to advertise their products. Special interests, although not limited to, include high-integrity software, verification tools, Ada-related technologies and AI solutions for high-integrity systems engineering. With previous conferences attracting nearly 100 participants, there will be representatives from the industrial Ada community attending providing an excellent opportunity to liaise and discuss your products and offers. Conference sponsors enjoy a whole range of benefits, including exhibition space and vendor sessions as part of the conference program. *** Further Information Registration: - registration information is provided at - early registration discount until Friday 29 May, 2026 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop and Ada Intro tutorials - see registration page for all details Promotion: - recommended hashtags: #AEiC2026 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe - Mälardalen University in cooperation with: - ACM SIGPLAN - Ada User Society supported and sponsored by: - Ada-Europe - AdaCore Please make sure you book accommodation as soon as possible. For more info and latest updates see the conference website at . We look forward to seeing you in Västerås in June 2026! ----------------------------------------------------------------------- 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