<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div id="divRpF93685" style="direction:ltr"><span style="font-family:Tahoma; font-size:10pt">Call for Participation (apologies for multiple postings)</span></div>
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div style="font-family:Times New Roman; color:#000000; font-size:16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">We are happy to invite you to attend a one-day workshop affiliated with CAV'14 at FLoC/Vienna Summer of Logic - July 23, 2014 -
<a href="http://smlab.cs.tau.ac.il/rs14vsl/" target="_blank">http://smlab.cs.tau.ac.il/rs14vsl/</a> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">===============================</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> Special Workshop on Reactive Systems:</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> Directions in Development and Analysis</p>
<p class="MsoNormal" style="margin-bottom:6.0pt">===============================</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">The workshop celebrates thirty years of statecharts and David Harel’s 2^6th birthday,
</p>
<p class="MsoNormal" style="margin-bottom:6.0pt">and will feature invited talks by distinguished speakers.
</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">Confirmed speakers include:<br>
<br>
</p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Albert Benveniste, INRIA</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Edmund Clarke, Carnegie Mellon University</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Nachum Dershowitz, Tel Aviv University</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Jasmin Fisher, Microsoft Research and University of Cambridge</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Orna Grumberg, Technion</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Thomas A. Henzinger, IST Austria </p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Tony Hoare, Microsoft Research and Cambridge University Computing Laboratory</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Hillel Kugler, Microsoft Research</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Marta Kwiatkowska, Oxford University</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">* Moshe Vardi, Rice University</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">Areas include software and system engineering, biological modeling, design, development, logic, verification, and applications.
</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal">Please feel free to forward to other individuals, groups, students, etc., who may be interested. </p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">For the detailed program see <a href="http://smlab.cs.tau.ac.il/rs14vsl/" target="_blank">
http://smlab.cs.tau.ac.il/rs14vsl/</a></p>
<p class="MsoNormal" style="margin-bottom:6.0pt">or contact the organizers:</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">Shahar Maoz, Tel Aviv University, Israel (<a href="mailto:maoz@cs.tau.ac.il" target="_blank">maoz@cs.tau.ac.il</a>)</p>
<p class="MsoNormal" style="margin-bottom:6.0pt">Assaf Marron, Weizmann Institute of Science, Israel (<a href="mailto:assaf.marron@weizmann.ac.il" target="_blank">assaf.marron@weizmann.ac.il</a>)</p>
<p class="MsoNormal" style="margin-bottom:6.0pt"> </p>
<p class="MsoNormal" style="margin-bottom:6.0pt">Register via Vienna Summer of Logic registration at <a href="http://vsl2014.at/registration/" target="_blank">http://vsl2014.at/registration/</a></p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>