Workshops

Fall 2016

Uncertainty in Computation

Oct 4, 2016 to Oct 7, 2016

Return to event »

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

Tuesday, October 4th, 2016
8:30 am–8:50 am		Coffee and Check-In
8:50 am–9:00 am		Opening Remarks
9:00 am–10:00 am		Unifying Logic and Probability: The BLOG Language Stuart Russell, UC Berkeley
10:00 am–10:40 am		Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice Marta Kwiatkowska, University of Oxford
10:40 am–11:10 am		Break
11:10 am–11:50 am		Computing Probabilistic Bisimilarity Distances via Policy Iteration Franck van Breugel, York University
11:50 am–2:00 pm		Lunch
2:00 pm–2:40 pm		Quantitative Algebraic Reasoning Radu Mardare, Aalborg University
2:40 pm–2:50 pm		Discussant Session - Franck van Breugel
2:50 pm–3:30 pm		Controlling Probabilistic Systems Under Partial Observation Nathalie Bertrand, INRIA
3:30 pm–4:00 pm		Break
4:00 pm–4:40 pm		Three Problems in Computable Probability Theory Cameron Freer, Gamalon Labs
4:40 pm–4:50 pm		Discussant Session - Andreas Blass
4:50 pm–6:00 pm		Reception

Wednesday, October 5th, 2016
8:30 am–9:00 am		Coffee and Check-In
9:00 am–10:00 am		Brief Tutorial on Probabilistic Databases Dan Suciu, University of Washington
10:00 am–10:40 am		A Dichotomy for Queries with Negation in Probabilistic Databases Dan Olteanu, University of Oxford
10:40 am–11:10 am		Break
11:10 am–11:50 am		Fourier Representations in Probabilistic Inference Bart Selman, Cornell University
11:50 am–12:30 pm		Approximate Lifted Inference with Probabilistic Databases Wolfgang Gatterbauer, Carnegie Mellon University
12:30 pm–2:00 pm		Lunch
2:00 pm–2:40 pm		Scalable Collective Inference from Richly Structured Data using Probabilistic Soft Logic (PSL) Lise Getoor, UC Santa Cruz
2:40 pm–2:50 pm		Discussant Session - Dan Suciu
2:50 pm–3:30 pm		Stochastic Control via Entropy Compression Dimitris Achlioptas, UC Santa Cruz
3:30 pm–4:00 pm		Break
4:00 pm–4:40 pm		Probabilistic Reasoning by First-Order Model Counting Guy Van den Broeck, UCLA
4:40 pm–4:50 pm		Discussant Session - Dan Olteanu

Thursday, October 6th, 2016
8:30 am–9:00 am		Coffee and Check-In
9:00 am–10:00 am		A Personal Viewpoint on Probabilistic Programming Daniel Roy, University of Toronto
10:00 am–10:40 am		Probabilistic Programming for Augmented Intelligence Vikash Mansinghka, MIT
10:40 am–11:10 am		Break
11:10 am–11:50 am		Differential Privacy Kunal Talwar, Google
11:50 am–12:30 pm		Pufferfish Privacy Mechanisms for Correlated Data Kamalika Chaudhuri, UC San Diego
12:30 pm–2:00 pm		Lunch
2:00 pm–2:40 pm		Axioms for Information Leakage Catuscia Palamidessi, INRIA - Saclay
2:40 pm–2:50 pm		Discussant Session - Radu Mardare
2:50 pm–3:30 pm		Constrained Sampling and Counting Moshe Vardi, Rice University
3:30 pm–4:00 pm		Break
4:00 pm–4:40 pm		Model Theory of Exchangeable Structures Rehana Patel, Olin College

Friday, October 7th, 2016
8:30 am–9:00 am		Coffee and Check-In
9:00 am–10:00 am		Learning about Auctions Avrim Blum, Carnegie Mellon University
10:00 am–10:40 am		Random Projections for Probabilistic Inference Stefano Ermon, Stanford University
10:40 am–11:10 am		Break
11:10 am–11:50 am		Outposts Between Average- and Worst-Case Analysis: A Case Study in Auction Design Tim Roughgarden, Stanford University
11:50 am–12:30 pm		Approximation Algorithms for Optimization under Uncertainty Anupam Gupta, Carnegie Mellon University
12:30 pm–2:00 pm		Lunch
2:00 pm–2:40 pm		Semantic Foundations for Probabilistic Programming Chris Heunen, University of Edinburgh
2:40 pm–2:50 pm		Discussant Session - Dana Scott
2:50 pm–3:30 pm		Black-Box Variational Inference for Probabilistic Programs Hongseok Yang, University of Oxford
3:30 pm–4:00 pm		Break