Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Online Participation
Registration
Visa
Information for Students
Code of Conduct
Supporting POPL
Program
Complete Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Tracks
POPL 2019
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Workshops
Co-hosted Conferences
CPP
VMCAI
Workshops
BEAT
CoqPL
LAFI
(né PPS)
OPCT
Off the Beaten Track
PEPM
PLMW
@POPL
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
TutorialFest
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Workshops
BEAT
Organizing Committee
Program Committee
CoqPL
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
OPCT
Organizing Committee
Program Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers
Panelists
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
Organizing Committee
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2019
(
series
) /
Hotel Cascais Miragem
/
Room information: Sala VI
Venue
Hotel Cascais Miragem
Room name
Sala VI
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
A
LAFI
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
B
LAFI
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
C
LAFI
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
D
LAFI
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala VI
LAFI
A
LAFI
B
LAFI
C
LAFI
D
Tue 15 Jan
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
x
Sat 5 Oct 07:41