Welcome

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. In this conference, distinguished speakers from around the world will present research related to reactive systems in areas including software and system engineering, biological modeling, design, development, logic and verification, applications, and computer science education. In addition to scientific talks, ample opportunities will be provided for informal interaction with the speakers and among conference attendees. 
Celebrating thirty years of statecharts and David Harel’s 26th birthday, this conference will enhance the scientific views of present and future of this field with interesting perspectives into its history.

Conference attendance is free but registration is required

 

ORGANIZERS

Dr. Assaf Marron, Weizmann Institute of Science
Prof. Moshe Vardi, Rice University
Dr. Shahar Maoz, Tel Aviv University
Dr. Michal Gordon, MIT