欢迎来到MOVEP 2022
MOVEP是一所为期五天的暑期学校,学习并行过程的建模和验证。它旨在将研究人员、学生和从事并发和反应系统控制和验证领域工作的工业界人士聚集在一起。MOVEP致力于提供该领域广泛的当前研究,解决模型检查、控制器综合、软件验证、时序逻辑、实时和混合系统、随机系统、安全性、运行时验证等方面的理论和应用问题。
1994年至2002年,MOVEP的前五个版本每隔一年在法国南特举行一次。随后于2004年迁至布鲁塞尔(比利时),2006年迁至波尔多(法国),2008年迁至奥尔良(法国)、2010年迁至亚琛(德国)、2012年迁至马赛(法国)和2014年迁至南特,2016年迁至热那瓦(意大利),2018年迁至卡尚(法国)并于2020年上线。