1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • ACM SIGAda HILT'22 Workshop on Supporting Rigorous S/W Development -- O

    From Tucker Taft@21:1/5 to All on Fri Sep 16 12:26:28 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Tucker Taft@21:1/5 to Tucker Taft on Tue Oct 4 13:59:44 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)