<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <h1 class="campl-sub-title">Verified software: Tools and Experiments</h1>

    <p>June 7-11, 2021</p>

    <p>URL: <a class="moz-txt-link-freetext" href="https://www.newton.ac.uk/event/vsow04">https://www.newton.ac.uk/event/vsow04</a><br>

    </p>

    <h2>Workshop theme</h2>

    <p>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.</p>

    <p>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.<br>

    </p>

    <p><br>

    </p>

  </body>

</html>