Boltzmann Samplers for Closed Simply-Typed Lambda Terms (PADL 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau

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

Mon 16 Jan 2017 14:30 - 15:00 at Salle 116, Barre 44-54 - Testing and Games

Maciej Bendkowski

Jagiellonian University

Katarzyna Grygiel

Jagiellonian University

Paul Tarau

University of North Texas

United States

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

Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:30	Testing and GamesPADL at Salle 116, Barre 44-54

	14:00 30m Talk		Failing Faster: Overlapping Patterns for Property-Based Testing PADL Jonathan Fowler University of Nottingham, Graham Hutton University of Nottingham
	14:30 30m Talk		Boltzmann Samplers for Closed Simply-Typed Lambda Terms PADL Maciej Bendkowski Jagiellonian University, Katarzyna Grygiel Jagiellonian University, Paul Tarau University of North Texas
	15:00 30m Talk		Selection Equilibria of Higher-Order Games PADL Paulo Oliva Queen Mary University of London, Jules Hedges University of Oxford, Viktor Winschel ETH Zürich, Philipp Zahn University of St. Gallen, Evguenia Shprits University of Mannheim