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