comp.lang.ada
 help / color / mirror / Atom feed
* ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022
@ 2022-09-16 19:26 Tucker Taft
  0 siblings, 0 replies; only message in thread
From: Tucker Taft @ 2022-09-16 19:26 UTC (permalink / raw)


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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-09-16 19:26 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-09-16 19:26 ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- Oct 14, 2022 Tucker Taft

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox