<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="">Hello all,</div>
<div class="">
<div class="">
<div class=""><br class="">
</div>
<div class="">We’d like to publicise the Isaac Newton Institute
Workshop `Vistas in Verified Software’ in Cambridge UK on
**4th July to 8th July**, both live and virtual. </div>
<div class=""><br class="">
</div>
<div class="">The programme has a great line-up of speakers;
details at <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://www.newton.ac.uk/event/vs2w01/__;!!IBzWLUs!SGmHcmWEYBcIby5ZoVEreDvfk1stSghDouhYTwmrKwtiLKRyMMs8GRF1ObcX2gW_Mgdw4LV0pu-8Xy_Q-rETvOCgLJrBp_4$" class="moz-txt-link-freetext">https://www.newton.ac.uk/event/vs2w01/</a>
and below. We welcome lively virtual participation in the
workshop. If you would like to attend **virtually**, please
contact Teresa Carbajo Garcia, <a
href="mailto:t.carbajo-garcia@imperial.ac.uk"
class="moz-txt-link-freetext">t.carbajo-garcia@imperial.ac.uk</a>,
by **12 o’clock UK time** on Thursday 30th June. You will
then get the zoom details on Friday from the Isaac Newton
Institute. </div>
<div class=""><br class="">
</div>
<div class="">Best wishes, </div>
<div class="">Shankar + co-organizers<br>
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Speakers:</div>
<div class=""><br class="">
</div>
<div class="">
<ul class="content-more" style="margin: 0px; padding-left:
17px; font-family: Arial, sans-serif; font-size: 15px;">
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Andrey Rybalchenko <em class="">Microsoft (UK)</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Andrew Appel <em class="">Princeton University</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
David Basin <em class="">ETH Zurich</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Dirk Beyer <em class="">Ludwig-Maximilians-Universität
München</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Cristian Cadar <em class="">Imperial College London</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Byron Cook <em class="">Amazon; University College London</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">Sergey Bratus, DARPA<br>
</li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Philippa Gardner <em class="">Imperial College London</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Timothy Griffin and Mukesh Tiwari <em class="">University
of Cambridge; Cambridge Computer Laboratory</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Thomas Henzinger <em class="">IST Austria</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Bart Jacobs <em class="">KU Leuven</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Neel Krishnaswami <em class="">University of Cambridge</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Daniel Kroening <em class="">University of Oxford</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Viktor Kuncak <em class="">EPFL - Ecole Polytechnique
Fédérale de Lausanne; IST Austria</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Gregory Malecha <em class="">Bed Rock Systems</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Bernhard Möller <em class="">Universität Augsburg</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Peter Müller <em class="">ETH Zürich</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Mooly Sagiv <em class="">Tel Aviv University</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;"><em>Z</em>hong Shao,<em> Yale
University</em><br>
</li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Peter Sewell <em class="">University of Cambridge</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Nikhil Swamy <em class="">Microsoft (USA)</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Caterina Urban <em class="">INRIA</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Moshe Vardi <em class="">Rice University</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Philip Wadler <em class="">University of Edinburgh</em></li>
</ul>
<div class=""><br class="">
</div>
</div>
<div class="">Organisers:</div>
<div class=""><br class="">
</div>
<ul class="" style="margin: 0px 0px 30px; padding-left: 17px;
font-family: Arial, sans-serif; font-size: 15px;">
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Azadeh Farzan <em class="">University of Toronto</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Philippa Gardner <em class="">Imperial College London</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">Kim Larsen<em>, Aalborg</em><br>
</li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Xavier Leroy <em class="">Collège de France; INRIA</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">Peter O'Hearn, <i>Facebook</i></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">Ken McMillan,<i> UT Austin</i></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">Leonardo de Moura, MIcrosoft<i>
Research<br>
</i></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Peter Sewell <em class="">University of Cambridge</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Natarajan Shankar <em class="">SRI International</em></li>
<li class="" style="font-size: 0.8rem; line-height: 1.2rem;
margin-bottom: 2px;">
Moshe Vardi <em class="">Rice University</em></li>
</ul>
</div>
</div>
<div class=""><br class="">
</div>
</body>
</html>