[TYPES/announce] Isaac Newton Institute Workshop on Verified Software: Tools and Experiments (June 7-11, 2021); Register by May 20

[Natarajan Shankar]

  Verified software: Tools and Experiments

June 7-11, 2021

URL: https://www.newton.ac.uk/event/vsow04


    Workshop theme

The Tools and Experiments workshop is aimed at defining an integrated tool resources for automated formal methods with standardized interfaces and interchange and data/evidence formats that allow services and arguments to be composed and test cases and counterexamples to be shared across different formal models.  The goal of the INI Virtual Workshop is to lay the foundation for powerful automated tools and integrated tool suites that can be deployed in a range of large-scale experiments and case studies.

The workshop will include a special event marking the 60th anniversary of Tony Hoare's invention of Quicksort as well as a memorial event honoring the pioneering contributions of Edmund Clarke and Robert Kurshan.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210517/c9a8df9e/attachment.htm>