[TYPES/announce] VeriProP 2026 - Workshop on Verification of Probabilistic Programs

[Frederik Dahlqvist]

Workshop on Verification of Probabilistic Programs

July 25th, co-located with CAV as part of FLoC 2026

VeriProP 2026, 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 15th, 2026 AoE
Submission link: https://urldefense.com/v3/__https://submissions.floc26.org/veriprop/__;!!IBzWLUs!XCb4ZEgFbEvYskqHFwLBkucPA2Rc7xWs8i0g_LKz8kGaAQphwROHif1dAea7rX4vp12Jeb_vrO-NzWc8FFCSpCsPkLxBPbQELrq5snQ$ 

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

- https://urldefense.com/v3/__https://veriprop.github.io/2026/__;!!IBzWLUs!XCb4ZEgFbEvYskqHFwLBkucPA2Rc7xWs8i0g_LKz8kGaAQphwROHif1dAea7rX4vp12Jeb_vrO-NzWc8FFCSpCsPkLxBPbQEpswDviw$ 
- https://urldefense.com/v3/__https://www.floc26.org/program__;!!IBzWLUs!XCb4ZEgFbEvYskqHFwLBkucPA2Rc7xWs8i0g_LKz8kGaAQphwROHif1dAea7rX4vp12Jeb_vrO-NzWc8FFCSpCsPkLxBPbQEAYHwMrE$ 

Or contact the organizers:

-   Kevin Batz, Cornell University
-   Fredrik Dahlqvist, Queen Mary University of London
-   Francesca Randone, TU Wien

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