BEAT 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 at Sala VI
Chair(s): Steven Holtzen University of California, Los Angeles
11:00
30m
Talk
The Geometry of Bayesian Programming
LAFI
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
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
Media Attached
16:00 - 17:30
16:00
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
LAFI
Simon Castellan , Hugo Paquet University of Cambridge
16:30
30m
Talk
Factorized Exact Inference for Discrete Probabilistic Programs
LAFI
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
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