HoTT
diff --git a/‎conf-slides/Acosta.pdf
990 KB b/‎conf-slides/Acosta.pdf
990 KB
diff --git a/‎conf-slides/Bentzen.pdf
370 KB b/‎conf-slides/Bentzen.pdf
370 KB
diff --git a/‎conf-slides/Bidlingmaier.pdf
193 KB b/‎conf-slides/Bidlingmaier.pdf
193 KB
diff --git a/‎conf-slides/Brunerie.pdf
321 KB b/‎conf-slides/Brunerie.pdf
321 KB
diff --git a/‎conf-slides/Leena-Subramaniam.pdf
92.8 KB b/‎conf-slides/Leena-Subramaniam.pdf
92.8 KB
diff --git a/‎conf-slides/Lo-Monaco.pdf
305 KB b/‎conf-slides/Lo-Monaco.pdf
305 KB
diff --git a/‎conf-slides/Moeneclaey.pdf
143 KB b/‎conf-slides/Moeneclaey.pdf
143 KB
diff --git a/‎conf-slides/Sattler.pdf
462 KB b/‎conf-slides/Sattler.pdf
462 KB
diff --git a/‎conf-slides/Sterling.pdf
500 KB b/‎conf-slides/Sterling.pdf
500 KB
diff --git a/‎conf-slides/Uemura.pdf
189 KB b/‎conf-slides/Uemura.pdf
189 KB