Write a Blog >>
LAFI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala VI
Floor0
Room InformationNo extra information 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

Displayed time zone: Belfast change

11:00 - 12:30
BLAFI (né PPS) at Sala VI
Chair(s): Steven Holtzen University of California, Los Angeles
11:00
30m
Talk
The Geometry of Bayesian Programming
LAFI (né PPS)
Ugo Dal Lago University of Bologna, Italy / Inria, France, Naohiko Hoshino Kyoto University
11:30
30m
Talk
Model and Inference Combinators for Deep Probabilistic Programming
LAFI (né PPS)
Eli Sennesh Northeastern University, Adam Ścibior University of Cambridge and MPI Tuebingen, Hao Wu Northeastern University, Jan-Willem van de Meent Northeastern University
File Attached
12:00
30m
Talk
Server-side Probabilistic Programming
LAFI (né PPS)
Media Attached
16:00 - 17:30
16:00
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
LAFI (né PPS)
Simon Castellan , Hugo Paquet University of Cambridge
16:30
30m
Talk
Factorized Exact Inference for Discrete Probabilistic Programs
LAFI (né PPS)
Steven Holtzen University of California, Los Angeles, Joe Qian University of California, Los Angeles, Todd Millstein University of California, Los Angeles, Guy Van den Broeck University of California, Los Angeles
17:00
30m
Talk
Verified Equational Reasoning on a Little Language of Measures
LAFI (né PPS)
Matthew Heimerdinger Indiana University, Chung-chieh Shan Indiana University, USA

Tue 15 Jan

Displayed time zone: Belfast change

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