概率程序是一种结构化的方法,用于描述计算或模型,并访问一些随机性来源。它们自然出现在各种安全、安全和隐私关键的应用程序中,包括随机算法、安全协议和在不确定环境中工作的自主系统,例如,由于不精确的传感器。
概率程序的行为通常是违反直觉的,这是众所周知的事实的结果,即人类很难推理随机过程。结合概率程序在新兴安全关键领域中的重要性,概率程序的反直觉性质意味着确保其正确性必须基于严格、工具支持、理想情况下基本自动化的验证和分析技术。然而,这些工具并没有跟上概率程序越来越多的使用和普及。
在某种程度上,缺乏工具支持可以解释为概率程序的研究遍布多个领域。除了将概率程序理解为随机算法这一经典概念外,概率程序作为机器学习、人工智能和认知科学中复杂概率分布的建模形式,也受到了越来越多的关注。
本研讨会将提供一个研究概率系统自动验证的论坛,该系统在某种程度上由编程语言描述,特别关注符号方法和组合方法。
地铁列车时刻表
VeriProp将于7月19日举行。
太平洋夏令时早上7:00 |
下午16:00 |
玛丽亚·戈里诺娃 |
通过程序转换改进推理 |
7:30 - 7:40 |
|
朱尔斯·雅各布斯 |
概率规划的悖论 |
7:40 - 7:50 |
|
达里奥·斯坦因(Dario Stein)、萨姆·斯塔顿(Sam Staton) |
具有精确条件的概率程序的组合验证 |
7:50 - 8:00 |
|
亚历山德鲁·迪努(Alexandru Dinu)、苏拉夫·查克拉波蒂(Sourav Chakraborty)、库尔迪普·梅尔(Kuldeep Meel) |
PPCheck:验证概率程序的等价性 |
太平洋夏令时上午8:10 |
17时10分CEST |
迈克尔·卡宾 |
具有部分可观测性的程序设计与推理 |
8:40 - 8:50 |
|
Wen-Chi Yang、Jean Francois Raskin、Luc De Raedt |
关联MDP的提升模型检查 |
8:50 - 9:00 |
|
Vineet Rajani、Deepak Garg、Gilles Barthe |
高阶概率规划(摊余)期望成本分析的类型理论 |
9:00 - 9:10 |
|
Ankush Das、Di Wang、Jan Hoffmann |
概率资源软件会话类型 |
休息 |
|
|
|
太平洋夏令时上午9:30 |
中欧标准时间18:30 |
劳拉·科瓦茨 |
多项式概率程序的代数分析 |
10:00 - 10:10 |
|
托比亚斯·温克勒 |
加权程序及其在Almost-Sure终止中的应用 |
10:10 - 10:20 |
|
马丁·赫尔弗里奇、哈维尔·埃斯帕尔扎、菲利普·梅耶、安东尼·库塞拉 |
用随机调度验证复制系统的定性生存性 |
10:20 - 10:30 |
|
Syyeda Zainab、Xiang Chen、Yash Dhamija、Maeve Wildes、Qiyi Tang、Frank van Breugel |
随机Java代码的概率模型检查 |
太平洋夏令时上午10:40 |
CEST时间19:40 |
盖·范登·布勒克 |
离散概率程序推理的最新进展 |
11:10 - 11:20 |
|
凯文·巴茨 |
概率程序的相对完整验证 |
11:20 - 11:30 |
|
霍尔格·赫尔曼斯(Holger Hermanns)、迈克拉·克劳克(Michaela Klauck) |
引人注目的自动决策研究的实验室条件 |
11:30 - 11:40 |
|
丹尼尔·弗里蒙特 |
Scenic:一种用于场景规范和数据生成的语言 |
受邀演讲人
- 盖·范登·布勒克
- 迈克尔·卡宾
- 玛丽亚·戈里诺娃
- 劳拉·科瓦茨
要求演示
VeriProP旨在汇集对概率程序、模型和系统的工具支持验证感兴趣的研究人员。这包括概率模型检查、存在随机性源时的程序验证,或统计机器学习算法和人工智能系统的形式保证。
我们要求演示10分钟。感兴趣的主题包括但不限于:
- 马尔可夫模型验证的符号方法
- 精确推理技术
- 概率程序的抽象解释
- 特定领域的概率编程语言
- 推理算法验证
- 验证概率程序的演绎方法自动化-
- 安全、保密或隐私方面的概率程序推理
- 概率程序的综合
我们要求提供扩展摘要(1-2页pdf格式),描述正在进行的研究或研讨会范围内过去研究的概述。我们欢迎包含以前出版或目前正在审查的工作的摘要。不会有正式程序。
提交
提交日期:7月5日,星期一
通知日期:7月7日,星期三
提交链接:https://easychair.org/my/conference?conf=veriprop2021
参加
请通过注册研讨会CAV官方网站.
组织
该研讨会将于2021年7月19日作为第33届计算机辅助验证国际会议研讨会由以下人员主持:
- Fredrik Dahlqvist,伦敦大学学院
- 塞巴斯蒂安·荣格斯,加州大学伯克利分校
- 本杰明·卡明斯基,伦敦大学学院
- Christoph Matheja,苏黎世联邦理工学院