Message-ID:

Counting in binary is just like counting in decimal -- if you are all thumbs. -- Glaser and Way

devel / comp.lang.ada / ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022

ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022

<b006f702-83eb-47c0-8d98-2a19421ba51bn@googlegroups.com>

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

X-Received: by 2002:a05:622a:5c6:b0:35c:b60f:23fb with SMTP id d6-20020a05622a05c600b0035cb60f23fbmr5843531qtb.277.1663356388957;
Fri, 16 Sep 2022 12:26:28 -0700 (PDT)
X-Received: by 2002:a0c:e511:0:b0:4aa:73d9:f4c3 with SMTP id
l17-20020a0ce511000000b004aa73d9f4c3mr5474333qvm.51.1663356388709; Fri, 16
Sep 2022 12:26:28 -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, 16 Sep 2022 12:26:28 -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: <b006f702-83eb-47c0-8d98-2a19421ba51bn@googlegroups.com>
Subject: ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development --
Oct 14, 2022
From: tucker.taft@gmail.com (Tucker Taft)
Injection-Date: Fri, 16 Sep 2022 19:26:28 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1958

by: Tucker Taft - Fri, 16 Sep 2022 19:26 UTC

The seventh ACM workshop on High Integrity Language Technology (ACM HILT 2022) is being held on October 14, 2022 in Detroit, MI in conjunction with the 2022 Automated Software Engineering conference (ASE'22), sponsored by SIGAda. This year's HILT theme is Language and Tool Support for Rigorous Software Development. We have 9 presentations plus two keynotes related to this theme. Our keynote speakers are K. Rustan M. Leino, the creator of the Dafny verifiable language and the Boogie system supporting major industrial uses of formal methods, and Niko Matsakis, one of the original members of the Rust design team, talking about a-mir-formality, a more formal model of Rust. For more information see: https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hilt-22 #formalmethods #softwareengineering #ada #rust #spark #dafny #ACM #ASE

Re: ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022

<e81d6880-9364-4c2d-901f-e5e00d9f3f08n@googlegroups.com>

copy mid

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

copy link Newsgroups: comp.lang.ada

X-Received: by 2002:a05:622a:608:b0:35d:54e0:1382 with SMTP id z8-20020a05622a060800b0035d54e01382mr20808673qta.432.1664917185360;
Tue, 04 Oct 2022 13:59:45 -0700 (PDT)
X-Received: by 2002:a05:6214:dc1:b0:4b1:827b:c8db with SMTP id
1-20020a0562140dc100b004b1827bc8dbmr11780688qvt.113.1664917185063; Tue, 04
Oct 2022 13:59:45 -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: Tue, 4 Oct 2022 13:59:44 -0700 (PDT)
In-Reply-To: <b006f702-83eb-47c0-8d98-2a19421ba51bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=173.76.108.32; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N
NNTP-Posting-Host: 173.76.108.32
References: <b006f702-83eb-47c0-8d98-2a19421ba51bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e81d6880-9364-4c2d-901f-e5e00d9f3f08n@googlegroups.com>
Subject: Re: ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W
Development -- Oct 14, 2022
From: tucker.taft@gmail.com (Tucker Taft)
Injection-Date: Tue, 04 Oct 2022 20:59:45 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2886

by: Tucker Taft - Tue, 4 Oct 2022 20:59 UTC

There is now an online option for attending the ACM SIGAda HILT'22 workshop featuring Niko Matsakis and Rustan Leino.

Anyone registered for the workshop will receive a link allowing use of Zoom and/or the "Whova" app to attend the workshop remotely. The organizers of the associated conference (ASE'22) have indicated that remote attendees may register at the lowest attendee price ("Student Member"). So if you or a colleague might be interested in participating in the workshop remotely, please register soon for the October 14th workshop, at:

https://conf.researchr.org/attending/ase-2022/registration

and indicate "Student Member" as your category of attendee.

On Friday, September 16, 2022 at 3:26:29 PM UTC-4, Tucker Taft wrote:
> The seventh ACM workshop on High Integrity Language Technology (ACM HILT 2022) is being held on October 14, 2022 in Detroit, MI in conjunction with the 2022 Automated Software Engineering conference (ASE'22), sponsored by SIGAda. This year's HILT theme is Language and Tool Support for Rigorous Software Development. We have 9 presentations plus two keynotes related to this theme. Our keynote speakers are K. Rustan M. Leino, the creator of the Dafny verifiable language and the Boogie system supporting major industrial uses of formal methods, and Niko Matsakis, one of the original members of the Rust design team, talking about a-mir-formality, a more formal model of Rust.

For more information see:

https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hilt-22

#formalmethods #softwareengineering #ada #rust #spark #dafny #ACM #ASE

Subject	Author
ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development --	Tucker Taft
Re: ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W	Tucker Taft