1、可达性问题研究进展与理想理论在WSTS中的应用

可达性问题研究进展与理想理论在WSTS中的应用

一、可达性问题研讨会概述

1.1 研讨会基本信息

2016年9月19 - 21日，第十届可达性问题国际研讨会（RP）在丹麦奥尔堡大学举行。此前该系列研讨会曾在华沙大学（2015年）、牛津大学（2014年）、乌普萨拉大学（2013年）等多地举办。

1.2 研讨会目的与主题

研讨会旨在汇聚不同领域对可达性问题感兴趣的学者，通过结合数学、算法和计算技术，探索计算过程建模与分析的新方法。感兴趣的主题包括但不限于：无限状态系统的可达性、重写系统、计数器/定时/细胞/通信自动机中的可达性分析、Petri网、半群、群和环的计算方面、动态和混合系统中的可达性、可判定和不可判定可达性问题的边界、复杂性和可判定性方面、迭代映射的可预测性以及新的计算范式。

1.3 邀请演讲嘉宾

• Alain Finkel，法国卡尚高等师范学校
• Axel Legay，法国国家信息与自动化研究所
• Jaco van de Pol，荷兰特温特大学

1.4 投稿与录用情况

研讨会共收到18篇投稿，每篇投稿由三名程序委员会（PC）成员评审。基于评审结果，PC决定接受11篇论文，加上3篇邀请报告，本论文集共包含11篇投稿论文和2篇邀请演讲者的论文。此外，研讨会还为研究人员提供了进行非正式报告的机会，分享当前的研究和正在进行的工作。

1.5 组织与致谢

感谢Rikke W. Uhrenholt在组织活动中的帮助，以及CISS（嵌入式软件系统中心）的资金支持