From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Re: Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol.
Date: Thu, 10 Jun 2021 07:43:05 -0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven
Message-ID: <s9sfq8$oj0$1@dont-email.me>
References: <s90e44$19f$1@dont-email.me> <s9i6vt$77o$1@dont-email.me>
Injection-Date: Thu, 10 Jun 2021 07:43:05 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="8334f64a76ee70da93f95c9696893728";
	logging-data="25184"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18YFzJyvJdnX5Rm37PQLSROtHhUJCMcLV0="
Summary: Tucker Taft presents keynote on Ada 2022
Keywords: Conference,academia,industry,reliable,secure,IT,Ada,online
Cancel-Lock: sha1:amG/cK77o+t5686dc00D93QfIjI=
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Xref: reader02.eternal-september.org comp.lang.ada:62158 fr.comp.lang.ada:2034 comp.lang.misc:11930
List-Id: <comp.lang.ada>

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