RS网站

为了庆祝30年的状态图和David Harel的26岁生日，来自世界各地的杰出演讲者将在本次研讨会上介绍与反应系统相关的研究。领域包括软件和系统工程、生物建模、设计、开发、逻辑和验证以及应用。

反应系统一词是近三十年前由David Harel和Amir Pnueli合著的一篇论文中提出的，用于表示其持续行为集中于对环境驱动事件作出反应的系统，包括实时软件和硬件系统以及生物系统模型。多年来，人们进行了大量研究，以应对与此类系统的建模、开发和分析相关的挑战。

演讲者包括：
-艾伯特·本文内斯特（Albert Benveniste）——印度
- Edmund Clarke–卡内基梅隆大学
-Nachum Dershowitz-特拉维夫大学
-Jasmin Fisher-微软研究与剑桥大学
-O（运行）rna Grumberg–Technion公司
-Thomas A.Henzinger–IST奥地利
-Tony Hoare——微软研究与坎比奇大学计算实验室
-Hillel Kugler–微软研究
-Marta Kwiatkowska–牛津大学
-Shahar Maoz–特拉维夫大学
-达纳·斯科特– 卡内基梅隆大学和加州大学伯克利分校
- Moshe Vardi–莱斯大学

组织者：
-Shahar Maoz-特拉维夫大学
-阿萨夫·马龙-魏茨曼科学研究所

RS网站