[ecoop-info] [RS-at-FLoC-14] Reactive Systems workshop in honor of David Harel - July 23

rs-workshop-at-floc14 at weizmann.ac.il rs-workshop-at-floc14 at weizmann.ac.il
Thu May 22 15:42:13 CEST 2014

Call for Participation (apologies for multiple postings)

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 - http://smlab.cs.tau.ac.il/rs14vsl/

 Special Workshop on Reactive Systems:
 Directions in Development and Analysis

The workshop celebrates thirty years of statecharts and David Harel’s 2^6th birthday,
and will feature invited talks by distinguished speakers.

Confirmed speakers include:

* Albert Benveniste, INRIA

* Edmund Clarke, Carnegie Mellon University

* Nachum Dershowitz, Tel Aviv University

* Jasmin Fisher, Microsoft Research and University of Cambridge

* Orna Grumberg, Technion

* Thomas A. Henzinger, IST Austria

* Tony Hoare, Microsoft Research and Cambridge University Computing Laboratory

* Hillel Kugler, Microsoft Research

* Marta Kwiatkowska, Oxford University

* Moshe Vardi, Rice University

Areas include software and system engineering, biological modeling, design, development, logic, verification, and applications.

Please feel free to forward to other individuals, groups, students, etc., who may be interested.

For the detailed program see http://smlab.cs.tau.ac.il/rs14vsl/
or contact the organizers:

Shahar Maoz, Tel Aviv University, Israel (maoz at cs.tau.ac.il<mailto:maoz at cs.tau.ac.il>)
Assaf Marron, Weizmann Institute of Science, Israel (assaf.marron at weizmann.ac.il<mailto:assaf.marron at weizmann.ac.il>)

Register via Vienna Summer of Logic registration at http://vsl2014.at/registration/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140522/9ea1fbef/attachment.html>

More information about the ecoop-info mailing list