<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Courier New"">============================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Final Call for Participation<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">============================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">VeriProP 2023 – 3rd Workshop on Verification of Probabilistic Programs, co-located with CAV 2023<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">=================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Practical Details<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">=================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Co-located with CAV 2023 (<a href="https://urldefense.com/v3/__http://www.i-cav.org/2023/__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwBSli7ZE$">http://www.i-cav.org/2023/</a>)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="FR" style="font-family:"Courier New"">Date: Monday, 17 July 2023<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="FR" style="font-family:"Courier New"">Venue: Maison de la Chimie, 28 Rue Saint-Dominique, 75007 Paris, France<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Registration: <a href="https://urldefense.com/v3/__https://cav2023.dakini-pco.com__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwkUyv1XA$">
https://cav2023.dakini-pco.com</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Website: <a href="https://urldefense.com/v3/__https://veriprop.github.io/2023/__;!!IBzWLUs!X59wzFFVeHwgiB9CpF4HRLvNc2XgWPe_cSXuQNxtAxSu55YVw5pHWXOsVhemHe2-bhTWBeDW_BD8EiWofeOO3-eQxsUarwUwPBbHv00$">
https://veriprop.github.io/2023/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">=======<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Program<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">=======<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">9:00 - Opening<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">9:15 – INVITED SPEAKER - Sam Staton (Oxford),
<strong><span style="font-family:"Courier New";font-weight:normal">Semantics and types for non-parametric probabilistic programming<o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><strong><span style="font-family:"Courier New";font-weight:normal">10:00 – Nikolai K</span></strong><span style="font-family:"Courier New"">ä<strong><span style="font-family:"Courier New";font-weight:normal">fer, Semantics for Cyclic Bayesian
Networks<o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><strong><span style="font-family:"Courier New";font-weight:normal">10:15 -
</span></strong><span style="font-family:"Courier New"">Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva and Fabio Zanasi, On Iteration in Discrete Probabilistic Programming<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">10:30 - Coffee break<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">11:00 – INVITED SPEAKER -
<strong><span style="font-family:"Courier New";font-weight:normal">Ðorðe ®ikeliæ (ISTA), From Probabilistic Program Analysis to Learning-based Stochastic Control with Martingales<o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">11:45 - Ichiro Hasuo, Compositionality in Probabilistic Verification, Statistical Inference, and Stochastic Optimization<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">12:00 - Milan Ceska, Roman Andriushchenko and Sebastian Junges, PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">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<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">12:30 – Lunch<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">14:00 – INVITED SPEAKER -
<strong><span style="font-family:"Courier New";font-weight:normal">Christel Baier (TU Dresden), Probability-raising Causality in Markov Decision Processes<o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><strong><span style="font-family:"Courier New";font-weight:normal">14:45 -
</span></strong><span style="font-family:"Courier New"">Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel and Michael Carbin, Verifying Performance Properties of Probabilistic Inference<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">15:00 - William Smith and Fredrik Dahlqvist, Construction and verification of infinite-dimensional samplers<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">15:15 - Tobias Gürtler and Benjamin Kaminski, Belief Programming in Probabilistic Environments<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">15:30 - Coffee break<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">16:00 – INVITED SPEAKER -
<strong><span style="font-family:"Courier New";font-weight:normal">Raphaëlle Crubillé
</span></strong>(CNRS / Aix-Marseille Université)<strong><span style="font-family:"Courier New";font-weight:normal">, TBA<o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">16:45 - Alejandro Aguirre, Christoph Matheja and Philipp Schröer, Towards Automated Verification of Expected Sensitivity in Caesar<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">17:00 - Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti and Lars Birkedal, Asynchronous Probabilistic Couplings in Higher-Order Separation Logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">17:15 - Closing<strong><span style="font-family:"Courier New";font-weight:normal"><o:p></o:p></span></strong></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">============<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">Organization<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">============<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Michele Chiari, TU Wien<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Fredrik Dahlqvist, Queen Mary University of London<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Sebastian Junges, Radboud University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Benjamin Kaminski, Saarland University and University College London<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Christoph Matheja, Technical University of Denmark<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New""><o:p> </o:p></span></p>
</div>
</body>
</html>