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=2.4 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	SCC_BODY_URI_ONLY,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no
	version=3.4.6
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: eternal-september.org!reader01.eternal-september.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 <tucker.taft@gmail.com>
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
Xref: reader01.eternal-september.org comp.lang.ada:64355
List-Id: <comp.lang.ada>

The seventh ACM workshop on High Integrity Language Technology (ACM HILT 20=
22) is being held on October 14, 2022 in Detroit, MI in conjunction with th=
e 2022 Automated Software Engineering conference (ASE'22), sponsored by SIG=
Ada.  This year's HILT theme is Language and Tool Support for Rigorous Soft=
ware 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 D=
afny verifiable language and the Boogie system supporting major industrial =
uses of formal methods, and Niko Matsakis, one of the original members of t=
he 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 #s=
park #dafny #ACM #ASE