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

FINAL Call for Participation

*** UPDATED Program Summary ***

25th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2021)

7-10 June 2021, Virtual Event

www.ada-europe.org/conference2021

*** Check out tutorials! ***
www.ada-europe.org/conference2021/tutorials.html

*** Don't miss the thematic social events on Tuesday and Wednesday ***
*** Full Program available on the conference web site ***
*** Register now! ***

#AEiC2021 #AdaEurope #AdaProgramming

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

Press release:

25th Ada-Europe Int'l Conference on Reliable Software Technologies

International experts meet in virtual conference hosted by Underline

Santander, Spain (31 May 2021) - Ada-Europe together with the University
of Cantabria, Spain organize from 7 to 10 June 2021 the 25th Ada-Europe
International Conference on Reliable Software Technologies (AEiC 2021).
The conference was initially scheduled to take place in Santander,
Spain. According to the safety and sanitary measures under the COVID-19
pandemic, this year the conference will be a virtual event, hosted by
Underline (https://underline.io). The event is in cooperation with
the Ada Resource Association (ARA), and with ACM's Special Interest
Groups on Ada (SIGAda), on Embedded Systems (SIGBED) and on Programming
Languages (SIGPLAN).

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.

This year's conference offers 5 tutorials, 3 keynotes, a technical
program of 7 sessions with refereed papers, invited and industrial
presentations, a work-in-progress session, an industrial exhibition
and vendor presentations, and a social program.

Five parallel tutorials are scheduled on Monday, targeting different
audiences:
- "Programming mobile robots with ROS2 and the RCLAda Ada client
library", by Alejandro R. Mosteo;
- "Introduction to the development of safety critical software",
by Jean-Pierre Rosen;
- "Parallel programming with Ada and OpenMP", by Sara Royuela,
S. Tucker Taft, Luis Miguel Pinho;
- "Timing verification from UML & MARTE design models: techniques
& tools", by Laurent Rioux, Julio Medina and Shuai Li;
- "Programming shared memory computers", by Jan Verschelde.
Tutorial registration is complementary for conference participants.

The industrial exhibition opens Tuesday under the Expo area in the
virtual platform and also in the Lounge, which is the networking area.
It runs until the end of Thursday afternoon. Exhibitors include
AdaCore, PTC Developer Tools, and Ada-Europe. All conference
participants are invited to the exhibition as well as to the virtual
social events.

Three eminent speakers have been invited to deliver a keynote at each
of the core conference days:
- �ngel Conde, Data Analytics and Artificial Intelligence team leader at
IKERLAN (Spain), who will present his work on "Software reliability in
the Big Data era with an industry-minded focus";
- Alfons Crespo, who is with the Institute of Automation and Industrial
Informatics of the Universitat Polit�cnica de Val�ncia (Spain), will
give an answer to the question "Why hypervisor-based approach is the
best alternative for mixed-criticality systems";
- Tucker Taft, who is Director of Language Research at AdaCore (USA),
will talk on "A sampling of Ada 2022".

The technical program from Tuesday to Thursday presents 13 refereed
technical papers and 5 invited, 6 industrial and 4 vendor presentations
in sessions on:
- Scheduling and mixed-criticality systems,
- Software modeling,
- Autonomous systems,
- Ada issues and Ravenscar,
- Validation and verification tools,
- Emerging applications with reliability requirements,
- Safety challenges.

In addition, there is a work-in-progress session including 8
presentations and associated posters.

Peer-reviewed papers have been submitted to a special issue
of the Journal of Systems Architecture and are heading towards
final acceptance as open-access publications. Industrial and
work-in-progress presentations, together with tutorial abstracts,
will be offered publication in the Ada User Journal, the quarterly
magazine of Ada-Europe.

The social program is hosted in a space under the gather.town
environment that allows informal and lively gathering of the
participants. This space has different areas, such as rooms,
tables, and corners where a participant can approach to talk
though videoconferencing with participants in the same virtual area.
This facility will be used for the breaks, poster session, exhibition
and social events. Don't miss the thematic social events at the end
of each core conference day.

The Best Presentation Award will be offered during the Closing session.

The full program is available on the conference web site.
Online registration is still possible.

-------

Latest updates:

The "Final Program" is available at
www.ada-europe.org/conference2021/final-program.pdf.

Check out the tutorials in the PDF program, or in the schedule at
www.ada-europe.org/conference2021/tutorials.html.

Registration fees are lower than ever and the registration
process is done on-line. Don't delay! For all details, select
"Registration" at www.ada-europe.org/conference2021 or go directly
to https://registration.ada-europe.org.

The technical sessions are designed with the flipped-conference concept,
where the audience can access pre-recorded presentation materials
in advance. The live sessions are devoted to short presentations of
the highlights of each contribution, allowing ample time for questions
and answers with the presenter. The recorded materials will also be
available for some time after their sessions.

The program runs between 12:30 and 18:30 CEST, to allow participation
from different time zones. For more info and latest updates see the
conference web site at www.ada-europe.org/conference2021.

AEiC 2021 is sponsored by AdaCore (www.adacore.com), Ellidiss
(www.ellidiss.com), PTC Developer Tools (www.ptc.com/developer-tools),
Universidad de Cantabria (web.unican.es/en), and Vector
(www.vector.com/at/en).

Help promote the conference by advertising it.
Recommended Twitter hashtags: #AdaEurope and/or #AEiC2021.

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, AEiC 2021 Publicity Chair (aka Ada-Europe 2021),
Dirk.Craeynest@cs.kuleuven.be

* 25th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2021)
* June 7-10, 2021 * online event * www.ada-europe.org/conference2021 **

(V6.1)

If you plan to attend one of the #AEiC2021 #tutorials on Mon 7 Jun,
don't forget to check the prerequisites: you may have to download
material preferably before the tutorial starts.

See" you at #AdaEurope's #OnlineConference soon!

In article <s90e44$19f$1@dont-email.me>,
Dirk Craeynest <dirk@orka.cs.kuleuven.be.> wrote:
>-----------------------------------------------------------------------
>
> FINAL Call for Participation
>
> *** UPDATED Program Summary ***
>
> 25th Ada-Europe International Conference on
> Reliable Software Technologies (AEiC 2021)
>
> 7-10 June 2021, Virtual Event
>
> www.ada-europe.org/conference2021
>
> *** Check out tutorials! ***
> www.ada-europe.org/conference2021/tutorials.html
>
> *** Don't miss the thematic social events on Tuesday and Wednesday ***
> *** Full Program available on the conference web site ***
> *** Register now! ***
>
> #AEiC2021 #AdaEurope #AdaProgramming
>
>-----------------------------------------------------------------------
>
>Press release:
[...]

#AEiC2021 #AdaEurope #OnlineConference #AdaProgramming

Don't miss today's keynote!
Tucker Taft will present "A sampling of Ada 2022"

http://ada-europe.org/conference2021

Abstract:

The forthcoming Ada 2022 revision of the Ada standard includes
significant new features, which together make the language more
expressive and productive in a multicore context, while enhancing
its safety and support for more complete abstractions with formal
contracts.

This talk will introduce these key new features with a series of
examples:

- parallel loops and blocks, coupled with static detection of data
races and potential blocking

- iterator syntax for incorporating filters and user-defined iterator
procedures-libraries for atomic operations, including fetch-and-add
and compare-and-swap

- aggregates, literals, images, and map-reduce for user-defined types

- libraries for arbitrary precision integer and rational arithmetic

- more expressive contracts using delta aggregates and declare
expressions

- the Jorvik profile as the next step up from the Ravenscar profile

In article <s9i6vt$77o$1@dont-email.me>,
Dirk Craeynest <dirk@orka.cs.kuleuven.be.> wrote:
[...]
>See" you at #AdaEurope's #OnlineConference soon!
>
>
>In article <s90e44$19f$1@dont-email.me>,
>Dirk Craeynest <dirk@orka.cs.kuleuven.be.> wrote:
>>-----------------------------------------------------------------------
>>
>> FINAL Call for Participation
>>
>> *** UPDATED Program Summary ***
>>
>> 25th Ada-Europe International Conference on
>> Reliable Software Technologies (AEiC 2021)
>>
>> 7-10 June 2021, Virtual Event
>>
>> www.ada-europe.org/conference2021
>>
>> *** Check out tutorials! ***
>> www.ada-europe.org/conference2021/tutorials.html
>>
>> *** Don't miss the thematic social events on Tuesday and Wednesday ***
>> *** Full Program available on the conference web site ***
>> *** Register now! ***
>>
>> #AEiC2021 #AdaEurope #AdaProgramming
>>
>>-----------------------------------------------------------------------
>>
>>Press release:
>[...]