Opening Comments (LAFI 2023) - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Christine Tasson, Steven Holtzen

Track

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

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 programSpecify a time band

When

Sun 15 Jan 2023 09:00 - 09:05 at Scollay - First Session Chair(s): Steven Holtzen, Christine Tasson

Christine Tasson

Sorbonne Université — LIP6

France

Steven Holtzen

Northeastern University

United States

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

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 programSpecify a time band

Session Program

Sun 15 Jan
Displayed time zone: Eastern Time (US & Canada) change

	09:00 - 10:30	First SessionLAFI at Scollay Chair(s): Steven Holtzen Northeastern University, Christine Tasson Sorbonne Université — LIP6

	09:00 5m Day opening		Opening Comments LAFI Christine Tasson Sorbonne Université — LIP6, Steven Holtzen Northeastern University
	09:05 60m Keynote		Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.Boston LAFI A: Hongseok Yang KAIST; IBS
	10:10 10m Talk		Exact Inference for Discrete Probabilistic Programs via Generating FunctionsParis LAFI A: Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford File Attached
	10:20 10m Talk		Exact Probabilistic Inference Using Generating FunctionsBoston LAFI A: Lutz Klinkenberg RWTH Aachen University, Tobias Winkler RWTH Aachen University, Mingshuai Chen RWTH Aachen, Joost-Pieter Katoen RWTH Aachen University File Attached