RS 2014 - Reactive Systems: Directions in Development and Analysis

Celebrating thirty years of statecharts and David Harel’s 2^6th birthday, distinguished speakers from around the world will present in this workshop research related to reactive systems. Areas include software and system engineering, biological modeling, design, development, logic and verification, and applications.
The term reactive systems was coined in a paper co-authored by David Harel and Amir Pnueli almost three decades ago, to denote systems whose ongoing behavior is focused on reacting to environment-driven events, including, among others, real-time software and hardware systems, and models of biological systems. Over the years, much research has been conducted to tackle the challenges associated with the modeling, development and analysis of such systems.
Speakers include:
- Albert Benveniste ? INRIA
- Ed Clarke ? Carnegie Mellon University
- Jasmin Fisher - Microsoft Research and University of Cambridge
- Orna Grumberg ? Technion
- Tony Hoare ? Microsoft Research
- Orna Kupferman ? Hebrew University
- Marta Kwiatkowska ? Oxford University
- Moshe Vardi ? Rice University
Organizers:
- Shahar Maoz - Tel Aviv University
- Assaf Marron - Weizmann Institute of Science