Re: Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol.

[dirk@orka.cs.kuleuven.be. (Dirk Craeynest)]

#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:
>[...]