Invited speakers

There will be following four invited courses of three hours:

Alex Simpson (University of Edinburgh, U.K.)

Real numbers in type theory (abstract; slides)

Luís Antunes (Universidade do Porto, Portugal)

A crash course on computational complexity (abstract)

Mário Edmundo (Universidade Aberta, Portugal)

Model theory (analytic part): from Grothendieck to André-Oort (abstract;slides1;slides2;slides3)

Michael Rathjen (University of Leeds, U.K.)

Proof Theory: From arithmetic to set theory (abstract; slides)