From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 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: eternal-september.org!reader01.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!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: Injection-Info: google-groups.googlegroups.com; posting-host=173.76.108.32; posting-account=PvmV9AoAAAD6m3XXwubwsbGwa7cDXv1N NNTP-Posting-Host: 173.76.108.32 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022 From: Tucker Taft Injection-Date: Tue, 04 Oct 2022 20:59:45 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:64476 List-Id: 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 ma= y register at the lowest attendee price ("Student Member"). So if you or a= colleague might be interested in participating in the workshop remotely, p= lease 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 S= IGAda. This year's HILT theme is Language and Tool Support for Rigorous Sof= tware Development. We have 9 presentations plus two keynotes related to thi= s theme. Our keynote speakers are K. Rustan M. Leino, the creator of the Da= fny verifiable language and the Boogie system supporting major industrial u= ses of formal methods, and Niko Matsakis, one of the original members of th= e Rust design team, talking about a-mir-formality, a more formal model of R= ust.=20 For more information see:=20 https://conf.researchr.org/track/ase-2022/ase-2022-workshop-hilt-22 #formalmethods #softwareengineering #ada #rust #spark #dafny #ACM #ASE