[TYPES/announce] VeriProP 2025: Call for Presentations

[Dr. Maximilian Weininger]

Workshop on Verification of Probabilistic Programs

July 22, co-located with CAV 2025

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.

We solicit contributed short presentations. Topics of interest include, 
but are not limited to:

-   Symbolic approaches to the verification of Markov models
-   Exact inference techniques
-   Abstract interpretation for probabilistic programs
-   Domain-specific probabilistic programming languages
-   Verification of inference algorithms
-   Automation of deductive approaches to verifying probabilistic programs-
-   Probabilistic program reasoning in safety, security, or privacy
-   Synthesis of probabilistic programs

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.

Submission

Submission deadline: May 23rd, 2025 AoE
Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=veriprop2025__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3ZisgoD1$ 


More information can be found on our website and the CAV website

- https://urldefense.com/v3/__https://veriprop.github.io/2025/__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3WRDLRyU$ 
- https://urldefense.com/v3/__https://conferences.i-cav.org/2025/__;!!IBzWLUs!SearSwbzzpytHdlLglurGMhIn7iY8_htgG-6kUeVKuVQbfXRXH_X9-BdKnayUygzXM_SA5g2h8EsBa5c29bDjdaxyfaY3y-F8cmSOiuCB-9B3T9YIxXs$ 

Or contact the organizers:

-   Kevin Batz, University College London
-   Michele Chiari, TU Wien
-   Maximilian Weininger, Ruhr-University Bochum
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250512/d981000e/attachment-0001.htm>