1、系统定量评估与贝叶斯神经网络的进展

系统定量评估与贝叶斯神经网络的进展

1. 会议概述

在2022年9月12 - 16日举办了第19届系统定量评估国际会议（QEST 2022），该会议是CONFEST 2022的一部分，采用线上线下混合的形式进行。此次会议与CONCUR、FORMATS、FMICS等其他研讨会同期举行。

QEST会议系列有着悠久而丰富的历史，此前分别在法国巴黎（线上）、奥地利维也纳（线上）、英国格拉斯哥、中国北京和德国柏林等地举办。更多关于QEST 2022的信息可在会议官网www.qest.org/qest2022查询。

国际程序委员会（PC）的36名成员为44篇投稿论文提供了至少三次评审。基于评审意见和PC讨论，19篇高质量论文（其中3篇为工具论文）被接受在会议上展示，整体接受率为43%。这些投稿论文被组织成七个主题会议，涵盖了系统验证和评估的以下主题：
- 程序分析
- 参数合成
- 马尔可夫代理和群体模型
- 动态系统
- 工具
- 应用
- 自动机理论与应用

会议还根据QEST政策和传统颁发了最佳论文奖。2021年引入的工件评估流程也在本次会议中采用，共有14篇投稿参与了工件评估（仅工具论文需强制提交工件），其中8篇被认定为可重复。带有有效工件的接受论文会有特殊徽章标记。

此外，QEST 2022的亮点之一是有两位特邀演讲嘉宾，Marta Kwiatkowska和Pedro D’Argenio。Marta Kwiatkowska的主题演讲相关短文也收录在会议记录中。

2. 会议组织架构

2.1 本地组织