The Selection Monad and Decision-Making Languages (LAFI 2021) - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Who

Gordon Plotkin, Martín Abadi

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan 2021 17:16 - 17:30 at LAFI - Session 1 Chair(s): Jean-Baptiste Tristan

File attachments

Slides (LAFI_talk.pdf)	254KiB
Paper (LAFI.pdf)	206KiB

Gordon Plotkin

Google

Martín Abadi

Google

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:50 - 17:30	Session 1LAFI at LAFI Chair(s): Jean-Baptiste Tristan Boston College

	16:50 13m Talk		Binary Tree Hamiltonian Monte Carlo LAFI Carol Mak University of Oxford, Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford File Attached
	17:03 13m Talk		An algebraic theory of conditioning LAFI Dario Stein University of Oxford, Sam Staton University of Oxford File Attached
	17:16 13m Talk		The Selection Monad and Decision-Making Languages LAFI Gordon Plotkin Google, Martín Abadi Google File Attached