Seminar

The seminar happens weekly, on Tuesday 3 PM, at the Salón de seminarios.

Future seminar

       
24/04/2018   Antonio Montalban
TBA

Past seminars

       
17/04/2018   Alexandre Miquel
Ordered combinatory algebra and realizability
10/04/2018   Antonio Montalban
Natural Objects in Computability Theory
03/04/2018   Mauricio Guillermo
Ordered combinatory algebra and realizability
20/03/2018   Alexandre Miquel
Construction of the Streicher tripos
13/03/2018   Luc Pellissier
Intersection Types and Linear Logic: Parallel Lives (I)
06/03/2018   Luc Pellissier
Intersection Types and Linear Logic: Parallel Lives (II)
27/02/2018   Alexandre Miquel
An introduction to classical realizability (II)
20/02/2018   Alexandre Miquel
An introduction to classical realizability (I)