<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<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"">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!TPnAo7T19Kl3NKAAhqLZPQdYwhnweWYUK-Aa5xuljv5xI5Q9gqz66FmsJhT6yhWKoI2FOjMUn9v7gctT2erH7Fo7yEVuXkmpRLtGepY$">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!TPnAo7T19Kl3NKAAhqLZPQdYwhnweWYUK-Aa5xuljv5xI5Q9gqz66FmsJhT6yhWKoI2FOjMUn9v7gctT2erH7Fo7yEVuXkmp32wgTUg$">
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!TPnAo7T19Kl3NKAAhqLZPQdYwhnweWYUK-Aa5xuljv5xI5Q9gqz66FmsJhT6yhWKoI2FOjMUn9v7gctT2erH7Fo7yEVuXkmpJXWOnA4$">
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"">Invited Speakers<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"">- Christel Baier (TU Dresden) - Probability-raising Causality in Markov Decision Processes<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Sam Staton (University of Oxford) - Semantics and types for non-parametric probabilistic programming<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Courier New"">- Djordje Zikelic (ISTA) - TBA<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"">Contributed presentations<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"">- Querying Labelled Data with Probabilistic Programs for Sim-to-Real Validation - Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli and Sanjit Seshia<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"">- Towards Automated Verification of Expected Sensitivity in Caesar - Alejandro Aguirre, Christoph Matheja and Philipp Schröer<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"">- Asynchronous Probabilistic Couplings in Higher-Order Separation Logic - Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti and Lars Birkedal<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"">- Verifying Performance Properties of Probabilistic Inference - Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel and Michael Carbin<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"">- Compositionality in Probabilistic Verification, Statistical Inference, and Stochastic Optimization - Ichiro Hasuo<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"">- On Iteration in Discrete Probabilistic Programming - Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva and Fabio Zanasi<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"">- Belief Programming in Probabilistic Environments - Tobias Gürtler and Benjamin Kaminski<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"">- Construction and verification of infinite-dimensional samplers - William Smith and Fredrik Dahlqvist<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"">- Semantics for Cyclic Bayesian Networks - Nikolai Käfer<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"">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 and University College 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>
</div>
</body>
</html>