Write a Blog >>
Mon 20 Jan 2020 17:34 - 17:56 at Maurepas - Homotopy Type Theory and PC chairs' report Chair(s): Floris van Doorn

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

16:50 - 17:56: Homotopy Type Theory and PC chairs' reportCPP at Maurepas
Chair(s): Floris van DoornUniversity of Pittsburgh
16:50 - 17:12
Talk
CPP
Anders MörtbergDepartment of Mathematics, Stockholm University, Loïc PujetGallinette Project-Team, Inria
DOI Pre-print Media Attached File Attached
17:12 - 17:34
Talk
CPP
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
DOI Pre-print Media Attached File Attached
17:34 - 17:56
Talk
CPP
Jasmin BlanchetteVrije Universiteit Amsterdam, Cătălin HriţcuInria Paris
DOI Media Attached File Attached