Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / CPP 2020 (series) / The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs /

PC Chairs' report

Jasmin Blanchette, Cătălin Hriţcu
CPP 2020
Mon 20 Jan 2020 17:34 - 17:56 at Maurepas - Homotopy Type Theory and PC chairs' report Chair(s): Floris van Doorn
https://doi.org/10.1145/3372885
Slides (CPP 2020 PC Chairs' report.pdf)1.5MiB
Jasmin Blanchette
Jasmin Blanchette
Vrije Universiteit Amsterdam
Netherlands
Cătălin Hriţcu
Cătălin Hriţcu
Inria Paris
France

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

16:50 - 17:56
Homotopy Type Theory and PC chairs' reportCPP at Maurepas
Chair(s): Floris van Doorn University of Pittsburgh
16:50
22m
Talk
Cubical Synthetic Homotopy Theory
CPP
Anders Mörtberg Department of Mathematics, Stockholm University, Loïc Pujet Gallinette Project-Team, Inria
DOI Pre-print Media Attached File Attached
17:12
22m
Talk
Three equivalent ordinal notation systems in Cubical Agda
CPP
Fredrik Nordvall Forsberg University of Strathclyde, Chuangjie Xu Ludwig-Maximilians-Universität München, Neil Ghani University of Strathclyde
DOI Pre-print Media Attached File Attached
17:34
22m
Talk
PC Chairs' report
CPP
Jasmin Blanchette Vrije Universiteit Amsterdam, Cătălin Hriţcu Inria Paris
DOI Media Attached File Attached