Parametricity, Logical Relations and Realizability, Sept. 2, 2016

The PLRR 2016 workshop is a follow-up to the informal "réalisabilité à Chambéry" meetings, (2008, 2009, 2010, 2011, 2012 and 2013) with a focus on parametricity, logical relations, and realizability.

The programme page from the PLRR website might be more up to date.

All sessions will be in the Amphithéâtre de Sciences Naturelles (building 8 on the plan).


Invited talks

Contributed talks