<div dir="ltr">Call for Participation (apologies for multiple postings)<br><br>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/">http://smlab.cs.tau.ac.il/rs14vsl/</a><br>
<br> ===============================<br> Special Workshop on Reactive Systems:<br> Directions in Development and Analysis<br> ===============================<br><br>The workshop celebrates thirty years of statecharts and David Harel’s 2^6th birthday,<br>
and will feature invited talks by distinguished speakers.<br><br>Confirmed speakers include:<br><br>* Albert Benveniste, INRIA<br>* Edmund Clarke, Carnegie Mellon University<br>* Nachum Dershowitz, Tel-Aviv University <br>
* Jasmin Fisher, Microsoft Research and University of Cambridge<br>* Orna Grumberg, Technion<br>* Thomas A. Henzinger, IST Austria <br>* Tony Hoare, Microsoft Research and Cambridge University Computing Laboratory <br>* Hillel Kugler, Microsoft Research<br>
* Marta Kwiatkowska, Oxford University<br>* Shahar Maoz, Tel Aviv University<br>* Dana Scott, Carnegie Mellon University and University of California, Berkeley<br>* Moshe Vardi, Rice University<div><br>Areas include software and system engineering, biological modeling, design, development, logic, verification, and applications.<br>
<br>Please feel free to forward to other individuals, groups, students, etc., who may be interested. <br><br>For the detailed program see <a href="http://smlab.cs.tau.ac.il/rs14vsl/">http://smlab.cs.tau.ac.il/rs14vsl/</a><br>
or contact the organizers:<br><br>Shahar Maoz, Tel Aviv University, Israel (<a href="mailto:maoz@cs.tau.ac.il">maoz@cs.tau.ac.il</a>)<br>Assaf Marron, Weizmann Institute of Science, Israel (<a href="mailto:assaf.marron@weizmann.ac.il">assaf.marron@weizmann.ac.il</a>)<br>
<br>Register via Vienna Summer of Logic registration at <a href="http://vsl2014.at/registration/">http://vsl2014.at/registration/</a></div><div><br></div>
</div>