概率程序是一种结构化的方法,用于描述计算或模型,并访问一些随机性来源。它们自然出现在各种安全、安全和隐私关键应用中,包括随机算法、安全协议和在不确定环境中工作的自治系统,例如由于传感器不精确。
概率程序的行为通常是违反直觉的,这是众所周知的事实的结果,即人类很难推理随机过程。结合概率程序在新兴安全关键领域中的重要性,概率程序的反直觉性质意味着确保其正确性必须基于严格、工具支持、理想情况下基本自动化的验证和分析技术。然而,这些工具并没有跟上概率程序越来越多的使用和普及。
在某种程度上,缺乏工具支持可以解释为概率程序的研究遍布多个领域。除了将概率程序理解为随机算法这一经典概念外,概率程序作为机器学习、人工智能和认知科学中复杂概率分布的建模形式,也受到了越来越多的关注。
本研讨会将提供一个研究概率系统自动验证的论坛,该系统在某种程度上由编程语言描述,特别关注符号方法和组合方法。
受邀演讲人
- Sam Staton(牛津大学):非参数概率规划的语义和类型
- Christel Baier(德累斯顿大学):马尔可夫决策过程中的概率提升因果关系
- Djordje Zikelic(ISTA):从概率程序分析到基于学习的鞅随机控制
- 拉斐尔·克鲁比尔(CNRS/Aix-Marseille Universityé):待定
程序
时间 |
作者 |
标题 |
9:00 |
|
正在打开 |
9:15 |
萨姆·斯塔顿 |
非参数概率规划的语义和类型 |
10:00 |
尼古拉·卡夫 |
循环贝叶斯网络的语义 |
10:15 |
马特奥·托雷斯-鲁伊斯(Mateo Torres-Ruiz)、罗宾·皮埃德鲁(Robin Piedeleu)、亚历山德拉·席尔瓦(Alexandra Silva)和法比奥·扎纳西(Fabio Zanasi) |
离散概率规划中的迭代 |
10:30 |
|
咖啡休息时间 |
11:00 |
Đ或乔伊凯利奇 |
从概率规划分析到基于学习的鞅随机控制 |
11:45 |
哈朔一郎 |
概率验证、统计推断和随机优化中的组合性 |
12:00 |
米兰·塞斯卡(Milan Ceska)、罗马·安德留什琴科(Roman Andriushchenko)和塞巴斯蒂安·容格斯(Sebastian Junges) |
PAINT:概率程序的归纳综合工具 |
12:15 |
Edward Kim、Jay Shenoy、Sebastian Junges、Daniel Fremont、Alberto Sangiovanni-Vincentelli和Sanjit Seshia |
用概率程序查询标签数据进行模拟现实验证 |
12:30 |
|
午餐休息时间 |
14:00 |
克里斯特尔·拜尔 |
马尔可夫决策过程中提高概率的因果关系 |
14:45 |
埃里克·阿特金森(Eric Atkinson)、Ellie Y.Cheng、纪尧姆·鲍达特(Guillaume Baudart)、路易斯·曼德尔(Louis Mandel)和迈克尔·卡宾(Michael Carbin) |
验证概率推理的性能属性 |
15:00 |
威廉·史密斯和弗雷德里克·达尔奎斯特 |
无限维采样器的构造与验证 |
15:15 |
托比亚斯·居特勒和本杰明·卡明斯基 |
概率环境中的信念规划 |
15:30 |
|
咖啡休息时间 |
16:00 |
拉斐尔·克鲁比莱 |
使用dice进行符号协议验证:存在概率的过程等价性 |
16:45 |
Alejandro Aguirre、Christoph Matheja和Philipp Schröer |
凯撒预期敏感性的自动验证 |
17:00 |
西蒙·奥德谢德·格雷格森(Simon Oddershede Gregersen)、亚历杭德罗·阿奎尔(Alejandro Aguirre)、菲利普·哈塞尔沃特(Philipp G.Haselwarter)、约瑟夫·塔萨洛蒂(Joseph Tassarotti)和拉尔斯·比克达尔 |
高阶分离逻辑中的异步概率耦合 |
17:15 |
|
交割 |
要求演示
VeriProP 2023与CAV合用,旨在汇集对概率程序、模型和系统的工具支持验证感兴趣的研究人员。这包括概率模型检查、存在随机性源时的程序验证,或统计机器学习算法和人工智能系统的形式保证。
我们请求提供简短的演示文稿。感兴趣的主题包括但不限于:
- 马尔可夫模型验证的符号方法
- 精确推理技术
- 概率程序的抽象解释
- 特定领域的概率编程语言
- 推理算法验证
- 验证概率程序的演绎方法自动化-
- 安全、保密或隐私方面的概率程序推理
- 概率程序综合
我们要求提供扩展摘要(1-2页pdf格式),描述正在进行的研究或研讨会范围内过去研究的概述。我们欢迎包含以前出版或目前正在审查的工作的摘要。不会有正式的诉讼程序。
提交
提交日期:5月9日5月19日
提交链接:https://easychair.org/my/conference?conf=veriprop2023
参加
研讨会将于7月17日,即CAV的第二天举行。请通过CAV官方网站.
组织
研讨会由以下人员主持:
- 米歇尔·齐亚里,TU Wien
- Fredrik Dahlqvist,伦敦玛丽女王大学
- 塞巴斯蒂安·荣格斯(Sebastian Junges),Radboud大学
- 本杰明·卡明斯基(Benjamin Kaminski),萨尔州大学和伦敦大学学院
- Christoph Matheja,丹麦技术大学
以前的版本