Selection Equilibria of Higher-Order Games (PADL 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Paulo Oliva, Jules Hedges, Viktor Winschel, Philipp Zahn, Evguenia Shprits

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 15:00 - 15:30 at Salle 116, Barre 44-54 - Testing and Games

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

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