From Newsgroup: comp.lang.misc

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

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

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

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

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
<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" (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).
<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 20 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 was 3 May 2026.
<www.ada-europe.org/conference2026/workshop_dte.html>

*** Social Program
<www.ada-europe.org/conference2026/social_program.html>

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 <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 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 <www.ada-europe.org/>
- Mälardalen University <www.mdu.se/en/malardalen-university>

in cooperation with:
- ACM SIGPLAN <www.sigplan.org/>
- Ada User Society <www.ada-user.org/>

supported and sponsored by:
- Ada-Europe <www.ada-europe.org/>
- AdaCore <www.adacore.com>

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

(V6.1)
--- Synchronet 3.22a-Linux NewsLink 1.2