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

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 134E
Chair:
Ezio Bartocci
Location: Taub 9
09:00
Erika Abraham
Probabilistic Hyperproperties (abstract)
09:50
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games (abstract)
PRESENTER: Ichiro Hasuo
10:10
Thom Badings, Alessandro Abate, Nils Jansen, Dave Parker, Hasan Poonawala, Licio Romao and Marielle Stoelinga
Safe Sampling-Based Planning for Stochastic Systems with Uncertain Dynamics (abstract)
PRESENTER: Thom Badings
10:30-11:00Coffee Break
11:00-12:30 Session 137G
Chair:
Christoph Matheja
Location: Taub 9
11:00
Kuldeep Meel
Distribution Testing and Probabilistic Programming: A Match made in Heaven (abstract)
11:50
Philipp Schröer
A Quantitative Verification Infrastructure (abstract)
12:10
Eleanore Meyer, Marcel Hark and Jürgen Giesl
Inferring Expected Runtimes and Sizes (abstract)
PRESENTER: Eleanore Meyer
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

14:00-15:30 Session 138G
Chair:
Fredrik Dahlqvist
Location: Taub 9
14:00
Andrzej Wasowski
Quantifying Leakage in Privacy Risk Analysis using Probabilistic Programming
14:50
William Smith, Alexandra Silva and Fredrik Dahlqvist
Deterministic stream-sampling for probabilistic programming: semantics and verification (abstract)
PRESENTER: William Smith
15:10
Wojciech Rozowski, Tobias Kappé, Todd Schmid and Alexandra Silva
Probabilistic Guarded Kleene Algebra with Tests (abstract)
PRESENTER: Wojciech Rozowski
15:30-16:00Coffee Break
16:00-17:15 Session 139E
Chair:
Benjamin Kaminski
Location: Taub 9
16:00
Sylvie Putot
Uncertainty propagation in discrete-time systems using probabilistic forms (abstract)
16:50
Lutz Klinkenberg
Verifying Probabilistic Programs using Generating Functions (abstract)