<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-text-flowed"
      style="font-family: -moz-fixed; font-size: 14px;" lang="x-unicode">Workshop
      on Verification of Probabilistic Programs
      <br>
      <br>
      July 22, co-located with CAV 2025
      <br>
      <br>
      VeriProP 2025, co-located with CAV, 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.
      <br>
      <br>
      We solicit contributed short presentations. Topics of interest
      include, but are not limited to:
      <br>
      <br>
      -   Symbolic approaches to the verification of Markov models
      <br>
      -   Exact inference techniques
      <br>
      -   Abstract interpretation for probabilistic programs
      <br>
      -   Domain-specific probabilistic programming languages
      <br>
      -   Verification of inference algorithms
      <br>
      -   Automation of deductive approaches to verifying probabilistic
      programs-
      <br>
      -   Probabilistic program reasoning in safety, security, or
      privacy
      <br>
      -   Synthesis of probabilistic programs
      <br>
      <br>
      We call for extended abstracts (1-2 pages in pdf format)
      describing either ongoing research or an overview of past research
      in the workshop's scope. We welcome abstracts covering work that
      has been previously published or is currently under review. There
      will be no formal proceedings.
      <br>
      <br>
      Submission
      <br>
      <br>
      Submission deadline: May 23rd, 2025 AoE
      <br>
      Submission link: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=veriprop2025__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3ZisgoD1$">https://easychair.org/conferences/?conf=veriprop2025</a>
      <br>
      <br>
      <br>
      More information can be found on our website and the CAV website
      <br>
      <br>
      - <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://veriprop.github.io/2025/__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3WRDLRyU$">https://veriprop.github.io/2025/</a>
      <br>
      - <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://conferences.i-cav.org/2025/__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3T9YIxXs$">https://conferences.i-cav.org/2025/</a>
      <br>
      <br>
      Or contact the organizers:
      <br>
      <br>
      -   Kevin Batz, University College London
      <br>
      -   Michele Chiari, TU Wien
      <br>
      -   Maximilian Weininger, Ruhr-University Bochum
      <br>
      <br>
    </div>
  </body>
</html>