You are here

* A conference in honor of Prof. David Harel (Apr. 23-25, 2014)

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.
Click here for more information.

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer