## 2016

**Logic Colloquium 2016.***The real projective spaces in HoTT.*Joint work with Ulrik Buchholtz. Leeds, August 4th 2016.**W****orkshop on Categorical Logic and Univalent Foundations.***Principal equivalence relations.*Leeds, August 27th 2016.**Workshop on Homotopy Type Theory / Univalent Foundations.***Classifying types and the join construction.*Partly joint work with Ulrik Buchholtz. Porto, July 25th 2016.**Mathematics = Algorithms + Proofs.**Localization at ω-compact types, as sequential colimits. Joint work with Floris van Doorn. Luminy, January 11th-15th 2016.

## 2015

**MURI meeting.**Forms of type theoretical descent. Pittsburgh, March 27th-29th 2015.

## 2014

**Homotopy Type Theory Workshop.***An algebraic formulation of dependent type theory.*Oxford, November 7th-10th 2014.

## 2013

**Conference on type theory, homotopy theory and univalent foundations.**A descent theorem in type theory. Joint work with Bas Spitters. Barcelona, September 26th 2013.

Advertisements
(function(){var c=function(){var a=document.getElementById("crt-13166823");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:388248,containerid:"crt-13166823",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();
(function(){var c=function(){var a=document.getElementById("crt-2057685207");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:837497,containerid:"crt-2057685207",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();