Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Always think of something new; this helps you forget your last rotten idea. -- Seth Frankel


devel / comp.lang.ada / ANN: Winners of 2022 ACM SIGAda Awards

SubjectAuthor
* ANN: Winners of 2022 ACM SIGAda AwardsTucker Taft
`- Re: ANN: Winners of 2022 ACM SIGAda AwardsFabien Chouteau

1
ANN: Winners of 2022 ACM SIGAda Awards

<682f2073-e32c-45e9-9974-bbe7b5e0a600n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8946&group=comp.lang.ada#8946

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:10a8:b0:6ee:cb4a:4c46 with SMTP id h8-20020a05620a10a800b006eecb4a4c46mr14655374qkk.579.1666378467614;
Fri, 21 Oct 2022 11:54:27 -0700 (PDT)
X-Received: by 2002:a05:620a:10a1:b0:6ed:3b23:6991 with SMTP id
h1-20020a05620a10a100b006ed3b236991mr14481244qkk.683.1666378467321; Fri, 21
Oct 2022 11:54:27 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 21 Oct 2022 11:54:27 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=173.76.108.32; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N
NNTP-Posting-Host: 173.76.108.32
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <682f2073-e32c-45e9-9974-bbe7b5e0a600n@googlegroups.com>
Subject: ANN: Winners of 2022 ACM SIGAda Awards
From: tucker.taft@gmail.com (Tucker Taft)
Injection-Date: Fri, 21 Oct 2022 18:54:27 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2804
 by: Tucker Taft - Fri, 21 Oct 2022 18:54 UTC

ACM Special Interest Group on Ada (SIGAda) is pleased to announce the following SIGAda awards for 2022.

=========
Winner of the 2022 Robert Dewar Award for Outstanding Ada Community Contributions, for broad, lasting contributions to Ada technology and usage:

Fabien Chouteau

Fabien Chouteau has been the lead of AdaCore's Ada Community outreach activities for many years. He has been the energy behind the "Make With Ada" and "Crate of the Year" contests, and has invigorated the Ada hobbyist market by encouraging support of amateur Ada champions, fostering the development of the excellent Alire package manager for Ada, and working to move all AdaCore libraries from GPL to a more permissive ("Apache 2.0") license.

=========
Winner of the 2022 ACM SIGAda Distinguished Service Award, for exceptional contributions to SIGAda activities and products:

Luis Miguel Pinho

Luis Miguel Pinho (PhD SMIEEE SMACM) is a Professor and Researcher in the Computer Engineering Department of the Polytechnic of Porto - School of Engineering (ISEP), in Portugal. Miguel is the current editor of Ada Letters and serves as the SIGAda Secretary-Treasurer. He was a member of the Research Center in Real-Time and Embedded Computing Systems, and Executive Director of the Porto Research, Technology & Innovation Center. He served as General Chair and Program Co-Chair of Ada-Europe 2006 and General Co-Chair of ARCS 2015, was a Keynote Speaker at RTCSA 2010 and Program Co-Chair of Ada-Europe 2012, Ada-Europe 2016 and RTNS 2016. He was Editor-in-Chief of the Ada User Journal, and is a member of the HiPEAC network of excellence.

=========

Re: ANN: Winners of 2022 ACM SIGAda Awards

<2f406857-c1ba-4982-aeef-78bdceac39fcn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=8968&group=comp.lang.ada#8968

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:6214:1c4d:b0:4b1:7a21:e26f with SMTP id if13-20020a0562141c4d00b004b17a21e26fmr35514968qvb.81.1666777143580;
Wed, 26 Oct 2022 02:39:03 -0700 (PDT)
X-Received: by 2002:ad4:5949:0:b0:4bb:9aa4:f510 with SMTP id
eo9-20020ad45949000000b004bb9aa4f510mr238176qvb.121.1666777143348; Wed, 26
Oct 2022 02:39:03 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 26 Oct 2022 02:39:03 -0700 (PDT)
In-Reply-To: <682f2073-e32c-45e9-9974-bbe7b5e0a600n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=90.104.87.110; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 90.104.87.110
References: <682f2073-e32c-45e9-9974-bbe7b5e0a600n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f406857-c1ba-4982-aeef-78bdceac39fcn@googlegroups.com>
Subject: Re: ANN: Winners of 2022 ACM SIGAda Awards
From: fabien.chouteau@gmail.com (Fabien Chouteau)
Injection-Date: Wed, 26 Oct 2022 09:39:03 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2520
 by: Fabien Chouteau - Wed, 26 Oct 2022 09:39 UTC

Thanks a lot Tuck,

I am honored to receive the ACM SigAda award for my contribution to the Ada community.

It's been a blast working towards the broader adoption of Ada/SPARK, improving the ecosystem, and seeing the community evolve along the years. And this is a good opportunity for me to thank everyone who contributed to this effort, and/or who believed in our vision for the future of the Ada/SPARK community.

There is still a lot to do obviously, and I think the biggest challenge is to show those who have already seen Ada in the past how the language and its ecosystem have evolved. But we entered an exciting time for Ada/SPARK, as more and more people are questioning their choice of programming languages..

In my opinion, the most important topics for the future of Ada/SPARK are:

First, foster collaboration and welcome newcomers. This is why Alire and its ecosystem are game changing.

Second, spread awareness on the amazing power of SPARK, and have it recognized as the truly bleeding edge technology it is.

Third, use the technology to show what it can do. Since my first "Make With Ada" blog post in 2015, I have always been convinced that the best way to advocate for a technology is to use it. This is Make With Ada means to me.

Happy hacking!


devel / comp.lang.ada / ANN: Winners of 2022 ACM SIGAda Awards

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor