最新消息

1/7:学校结束了，我们拍了一些合影！（见横幅）
2016年5月31日：我们将申请减少注册费
2016年5月14日：发出第三次电话，提交延期至5月25日。
2016年4月10日：第二次呼叫发出！
2016年3月26日：第一次参加电话发送到邮件列表！
2016年2月29日：发言者名单准备就绪，时间表正在制定中
2016年10月1日：项目委员会准备就绪

目标和范围

MOVEP是一所为期5天的暑期学校，学习建模和验证并行过程。从1994年到2002年，该学校的前六次活动每隔一年在南特（法国）举行一次。然后于2004年迁至布鲁塞尔（比利时）波尔多（法国）2006年，奥尔良（法国），亚琛（德国）2010年，马赛2012年（法国）和2014年（法国南特）。

一般主题涉及为控制实时应用程序、反应或关键系统而设计的计算机系统和软件的规范和验证，涉及并发和分布式进程。

MOVEP的目的是将并发和反应系统的控制和验证领域的研究人员、学生和工业界人士聚集在一起。该学院致力于在理论和应用计算机科学领域提供广泛的当前研究。MOVEP’16涵盖的主题包括模型检查、控制器综合、软件验证、时序逻辑、实时和混合系统、随机系统、安全性、运行时验证等

重要日期

2016年4月10日开放注册
2016年5月10日至25日延长提交截止日期
2016年5月25日 6月1日，提前注册结束
2016年6月10日注册结束
2016年6月10日摘要接受通知书
2016年6月15日摘要最终版本截止日期

赞助商