Invited talks

A fresh view of call-by-need

Delia Kesner IRIF, CNRS and Université Paris Diderot, France

Cubical Computational Type Theory and RedPRL

Kuen-Bang Hou, alias Favonia Institute for Advanced Study, Princeton, USA

Why and How Does K work? The Logical Infrastructure Behind It

Grigore Rosu University of Illinois at Urbana-Champaign, USA