[TYPES/announce] VeriProP 2023 - Final Call for Participation

[Fredrik Dahlqvist]

============================
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230711/376f7995/attachment-0001.htm>