From Newsgroup: comp.lang.misc

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

Call for Participation

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

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

www.ada-europe.org/conference2026

*** Early registration DEADLINE May 20 ***
*** 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

#AEiC2026 #AdaEurope #AdaProgramming

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

Preparations for AEiC 2026, the 30th Ada-Europe International
Conference on Reliable Software Technologies, are well underway!

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!

Register now: discounted fees until May 20! <www.ada-europe.org/conference2026/registration.html>

Extra conference sponsorship allows for an extremely low 20 EUR fee for
the Ada Developers Workshop on Friday!

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 keynote and invited 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);
- workshops on Friday, optional chill event on Thursday evening.

*** 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
<www.ada-europe.org/conference2026/venue.html>

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
<www.ada-europe.org/conference2026/keynote_speakers.html>

This year the conference will once more feature keynotes and invited
talks. All will address topics of relevance in the conference scope,
with time for questions and answers.

- Mark van den Brand, from Eindhoven University of Technology (TU/e),
Eindhoven, the Netherlands, will present a keynote talk.

- More details on this and other keynotes and invited presentations
will be made available shortly.

*** Conference Core Composition <www.ada-europe.org/conference2026/accepted.html>

The core conference program features seven distinct types of technical presentations, with different duration, all followed by various
manners of discussion time: journal track talk, regular track talk,
industrial track presentation, work-in-progress track talk, vendor presentation, keynote, invited talk.

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:
- 1 keynote presentation;
- 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;
- additional presentations and information to be added shortly.

*** Tutorials
<www.ada-europe.org/conference2026/tutorials.html>

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"
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, and is structured in two
parts, that can be taken seperately (morning/afternoon).

- "Advanced Ada"
by Jean-Pierre Rosen, Adalog, France.

Both tutorial parts illustrate 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.

- "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 various technical presentations on
Ada-related topics is being scheduled. Even though the submission
deadline is already past, a few late submissions might still be
accepted, but don't delay sending in a proposal!
<www.ada-europe.org/conference2026/workshop_adadev.html>

- 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 7 May 2026.
<www.ada-europe.org/conference2026/workshop_amost.html>

- 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 is 3 May 2026.
<www.ada-europe.org/conference2026/workshop_dte.html>

*** 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 early evening: Welcome Reception (details to be announced).

- Wednesday evening: bus trip to, and Conference Dinner at, Petterssons
Matservice I Utvreta.

- Thursday evening: Chill Event (details to be announced).

*** Sponsorship and Exhibition <www.ada-europe.org/conference2026/sponsors.html>

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
<www.ada-europe.org/conference2026/registration.html>
- early registration discount until Wednesday May 20, 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
- see registration page for all details

Promotion:
- recommended hashtags: #AEiC2026 #AdaEurope #AdaProgramming

The conference is organized by:
- Ada-Europe <www.ada-europe.org/>
- Mälardalen University <www.mdu.se/en/malardalen-university>

in cooperation with:
- ACM SIGPLAN <www.sigplan.org/>

Please make sure you book accommodation as soon as possible. <www.ada-europe.org/conference2026/accommodation.html>

For more info and latest updates see the conference website at <www.ada-europe.org/conference2026>.

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

(V5.1)
--- Synchronet 3.21f-Linux NewsLink 1.2