Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VI
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

11:00 - 12:30: BLAFI at Sala VI
Chair(s): Steven HoltzenUniversity of California, Los Angeles
11:00 - 11:30
Talk
The Geometry of Bayesian Programming
LAFI
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Naohiko HoshinoKyoto University
11:30 - 12:00
Talk
Model and Inference Combinators for Deep Probabilistic Programming
LAFI
Eli SenneshNortheastern University, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Hao WuNortheastern University, Jan-Willem van de MeentNortheastern University
File Attached
12:00 - 12:30
Talk
Server-side Probabilistic Programming
LAFI
Media Attached
16:00 - 17:30: DLAFI at Sala VI
16:00 - 16:30
Talk
Probabilistic Programming Inference via Intensional Semantics
LAFI
Simon Castellan, Hugo PaquetUniversity of Cambridge
16:30 - 17:00
Talk
Factorized Exact Inference for Discrete Probabilistic Programs
LAFI
Steven HoltzenUniversity of California, Los Angeles, Joe QianUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles
17:00 - 17:30
Talk
Verified Equational Reasoning on a Little Language of Measures
LAFI
Matthew HeimerdingerIndiana University, Chung-chieh ShanIndiana University, USA

Tue 15 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VI