FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
VERIPROP 2022 PROGRAM
Friday, August 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 101D
09:00
TBA
09:50
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games (abstract)
10:10
Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 103F
11:00
TBA
11:50
A Quantitative Verification Infrastructure (abstract)
12:10
Inferring Expected Runtimes and Sizes (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 104F
14:00
Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming
14:50
Deterministic stream-sampling for probabilistic programming: semantics and verification (abstract)
15:10
Probabilistic Guarded Kleene Algebra with Tests (abstract)
15:30-16:00Coffee Break
16:00-17:15 Session 106D
16:00
TBA
16:50
Verifying Probabilistic Programs using Generating Functions (abstract)