[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
============================
Final Call for Participation
============================
VeriProP 2023 - 3rd Workshop on Verification of Probabilistic Programs,
co-located with CAV 2023
VeriProP aims to bring together researchers interested in the tool-supported
verification of probabilistic programs, models, and systems. This includes
probabilistic model checking, program verification in the presence of a source
of randomness, or formal guarantees for statistical machine learning algorithms
and artificial intelligence systems.
=================
Practical Details
=================
Co-located with CAV 2023
(https://urldefense.com/v3/__http://www.i-cav.org/2023/__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwBSli7ZE$
)
Date: Monday, 17 July 2023
Venue: Maison de la Chimie, 28 Rue Saint-Dominique, 75007 Paris, France
Registration:
https://urldefense.com/v3/__https://cav2023.dakini-pco.com__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwkUyv1XA$
Website:
https://urldefense.com/v3/__https://veriprop.github.io/2023/__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwPBbHv00$
=======
Program
=======
9:00 - Opening
9:15 - INVITED SPEAKER - Sam Staton (Oxford), Semantics and types for
non-parametric probabilistic programming
10:00 - Nikolai Käfer, Semantics for Cyclic Bayesian Networks
10:15 - Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva and Fabio Zanasi, On
Iteration in Discrete Probabilistic Programming
10:30 - Coffee break
11:00 - INVITED SPEAKER - Đorđe Žikelić (ISTA), From Probabilistic Program
Analysis to Learning-based Stochastic Control with Martingales
11:45 - Ichiro Hasuo, Compositionality in Probabilistic Verification,
Statistical Inference, and Stochastic Optimization
12:00 - Milan Ceska, Roman Andriushchenko and Sebastian Junges, PAYNT: A Tool
for Inductive Synthesis of Probabilistic Programs
12:15 - Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto
Sangiovanni-Vincentelli and Sanjit Seshia, Querying Labelled Data with
Probabilistic Programs for Sim-to-Real Validation
12:30 - Lunch
14:00 - INVITED SPEAKER - Christel Baier (TU Dresden), Probability-raising
Causality in Markov Decision Processes
14:45 - Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel and
Michael Carbin, Verifying Performance Properties of Probabilistic Inference
15:00 - William Smith and Fredrik Dahlqvist, Construction and verification of
infinite-dimensional samplers
15:15 - Tobias Gürtler and Benjamin Kaminski, Belief Programming in
Probabilistic Environments
15:30 - Coffee break
16:00 - INVITED SPEAKER - Raphaëlle Crubillé (CNRS / Aix-Marseille Université),
TBA
16:45 - Alejandro Aguirre, Christoph Matheja and Philipp Schröer, Towards
Automated Verification of Expected Sensitivity in Caesar
17:00 - Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter,
Joseph Tassarotti and Lars Birkedal, Asynchronous Probabilistic Couplings in
Higher-Order Separation Logic
17:15 - Closing
============
Organization
============
- Michele Chiari, TU Wien
- Fredrik Dahlqvist, Queen Mary University of London
- Sebastian Junges, Radboud University
- Benjamin Kaminski, Saarland University and University College London
- Christoph Matheja, Technical University of Denmark
