## 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(g,$){if("undefined"!=typeof g.__ATA){
g.__ATA.initAd({collapseEmpty:'after', sectionId:26942, width:300, height:250});
g.__ATA.initAd({collapseEmpty:'after', sectionId:114160, width:300, height:250});
}})(window,jQuery);
var o = document.getElementById('crt-1763162174');
if ("undefined"!=typeof Criteo) {
var p = o.parentNode;
p.style.setProperty('display', 'inline-block', 'important');
o.style.setProperty('display', 'block', 'important');
Criteo.DisplayAcceptableAdIfAdblocked({zoneid:388248,containerid:"crt-1763162174",collapseContainerIfNotAdblocked:true,"callifnotadblocked": function () {var o = document.getElementById('crt-1763162174'); o.style.setProperty('display','none','important');o.style.setProperty('visbility','hidden','important'); } });
} else {
o.style.setProperty('display', 'none', 'important');
o.style.setProperty('visibility', 'hidden', 'important');
}
var o = document.getElementById('crt-116201547');
if ("undefined"!=typeof Criteo) {
var p = o.parentNode;
p.style.setProperty('display', 'inline-block', 'important');
o.style.setProperty('display', 'block', 'important');
Criteo.DisplayAcceptableAdIfAdblocked({zoneid:837497,containerid:"crt-116201547",collapseContainerIfNotAdblocked:true,"callifnotadblocked": function () {var o = document.getElementById('crt-116201547'); o.style.setProperty('display','none','important');o.style.setProperty('visbility','hidden','important'); } });
} else {
o.style.setProperty('display', 'none', 'important');
o.style.setProperty('visibility', 'hidden', 'important');
}