• Click on the titles of individual talks for abstract, slides and archived video.

–
Coffee and Check-In
–
Opening Remarks
–
Unifying Logic and Probability: The BLOG Language

Stuart Russell, UC Berkeley
Video
–
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice

Marta Kwiatkowska, University of Oxford
Video
–
Break
–
Computing Probabilistic Bisimilarity Distances via Policy Iteration

Franck van Breugel, York University
Video
–
Lunch
–
Quantitative Algebraic Reasoning

Radu Mardare, Aalborg University
Video
–
Discussant Session - Franck van Breugel
–
Controlling Probabilistic Systems Under Partial Observation

Nathalie Bertrand, INRIA
Video
–
Break
–
Three Problems in Computable Probability Theory

Cameron Freer, Gamalon Labs
Video
–
Discussant Session - Andreas Blass
–
Reception
–
Coffee and Check-In
–
Brief Tutorial on Probabilistic Databases

Dan Suciu, University of Washington
Video
–
A Dichotomy for Queries with Negation in Probabilistic Databases

Dan Olteanu, University of Oxford
Video
–
Break
–
Fourier Representations in Probabilistic Inference

Bart Selman, Cornell University
Video
–
Approximate Lifted Inference with Probabilistic Databases

Wolfgang Gatterbauer, Carnegie Mellon University
Video
–
Lunch
–
Scalable Collective Inference from Richly Structured Data using Probabilistic Soft Logic (PSL)

Lise Getoor, UC Santa Cruz
Video
–
Discussant Session - Dan Suciu
–
Stochastic Control via Entropy Compression

Dimitris Achlioptas, UC Santa Cruz
Video
–
Break
–
Probabilistic Reasoning by First-Order Model Counting

Guy Van den Broeck, UCLA
Video
–
Discussant Session - Dan Olteanu
–
Coffee and Check-In
–
A Personal Viewpoint on Probabilistic Programming

Daniel Roy, University of Toronto
Video
–
Probabilistic Programming for Augmented Intelligence

Vikash Mansinghka, MIT
Video
–
Break
–
Differential Privacy

Kunal Talwar, Google
Video
–
Pufferfish Privacy Mechanisms for Correlated Data

Kamalika Chaudhuri, UC San Diego
Video
–
Lunch
–
Axioms for Information Leakage

Catuscia Palamidessi, INRIA - Saclay
Video
–
Discussant Session - Radu Mardare
–
Constrained Sampling and Counting

Moshe Vardi, Rice University
Video
–
Break
–
Model Theory of Exchangeable Structures

Rehana Patel, Olin College
–
Coffee and Check-In
–
Learning about Auctions

Avrim Blum, Carnegie Mellon University
Video
–
Random Projections for Probabilistic Inference

Stefano Ermon, Stanford University
Video
–
Break
–
Outposts Between Average- and Worst-Case Analysis: A Case Study in Auction Design

Tim Roughgarden, Stanford University
Video
–
Approximation Algorithms for Optimization under Uncertainty

Anupam Gupta, Carnegie Mellon University
Video
–
Lunch
–
Semantic Foundations for Probabilistic Programming

Chris Heunen, University of Edinburgh
Video
–
Discussant Session - Dana Scott
–
Black-Box Variational Inference for Probabilistic Programs

Hongseok Yang, University of Oxford
Video
–
Break