[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
