OPCT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
POPL 2019 (series) / OPCT 2019 (series) / Hotel Cascais Miragem /

Room information: Sala VI

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

09:00 - 10:30
ALAFI at Sala VI
09:00
30m
Talk
Probabilistic Lambda Calculus: Beyond Deterministic Evaluation
LAFI
Claudia Faggian IRIF, Simona Ronchi Della Rocca University of Torino
File Attached
09:30
60m
Talk
Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan
LAFI
Matthijs Vákár University of Oxford
File Attached
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
David Tolpin PUB+
Media Attached
14:00 - 15:30
CLAFI at Sala VI
Chair(s): Sophia Gold Tezos
14:00
30m
Talk
A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation
LAFI
Barak A. Pearlmutter Maynooth University
14:30
30m
Talk
Kotlin∇: Differentiable Functional Programming with Algebraic Data Types
LAFI
Breandan Considine Université de Montréal
File Attached
15:00
30m
Talk
Probabilistic Programming with CuPPL
LAFI
Alexander Collins NVIDIA, Vinod Grover NVIDIA
16:00 - 17:30
DLAFI at Sala VI
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

LAFI

A

LAFI

B

LAFI

C

LAFI

D

Tue 15 Jan

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala VI
LAFI
Probabilistic Lambda Calculus: Beyond Deterministic Evaluation
09:00 - 09:30
LAFI
Invited talk: Connecting Probabilistic Programming Theory to Applicatio ...
09:30 - 10:30
LAFI
The Geometry of Bayesian Programming
11:00 - 11:30
LAFI
Model and Inference Combinators for Deep Probabilistic Programming
11:30 - 12:00
LAFI
Server-side Probabilistic Programming
12:00 - 12:30
LAFI
A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differ ...
14:00 - 14:30
LAFI
Kotlin∇: Differentiable Functional Programming with Algebraic Data Types
14:30 - 15:00
LAFI
Probabilistic Programming with CuPPL
15:00 - 15:30
LAFI
Probabilistic Programming Inference via Intensional Semantics
16:00 - 16:30
LAFI
Factorized Exact Inference for Discrete Probabilistic Programs
16:30 - 17:00
LAFI
Verified Equational Reasoning on a Little Language of Measures
17:00 - 17:30