Seminar

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

Future seminar

       
04/12/2018   Antonio Montalban
The complexity within well-partial orderings

Past seminars

       
27/11/2018   Paula Severi
Como garantizo que mi programa en Haskell siempre produce algún resultado?
20/11/2018   Etienne Miquey
Un cálculo de los secuentes con tipos dependientes para la aritmética clásica
13/11/2018   Etienne Miquey
Un cálculo de los secuentes con tipos dependientes para la aritmética clásica
06/11/2018   Alexandre Miquel
Un modelo de realizabilidad para un cálculo lambda tipado, algebraico, lineal y unitario (II)
30/10/2018   Alexandre Miquel
Un modelo de realizabilidad para un cálculo lambda tipado, algebraico, lineal y unitario (I)
23/10/2018   Octavio Malherbe
La categoría de las álgebras implicativas (II)
16/10/2018   Octavio Malherbe
La categoría de las álgebras implicativas (I)
01/10/2018   Mauricio Guillermo
La KAM como AKS libre
25/09/2018   Luc Pellissier
Aproximaciones lineales, tipos y modelos (IV)
11/09/2018   Luc Pellissier
Aproximaciones lineales, tipos y modelos (III)
28/08/2018   Luc Pellissier
Aproximaciones lineales, tipos y modelos (II)
21/08/2018   Luc Pellissier
Aproximaciones lineales, tipos y modelos (I)
14/08/2018   Alexandre Miquel
Todo tripos (basado en Set) es un tripos implicativo. (III)
07/08/2018   Alexandre Miquel
Todo tripos (basado en Set) es un tripos implicativo. (II)
31/07/2018   Alexandre Miquel
Todo tripos (basado en Set) es un tripos implicativo.
24/07/2018   Alexandre Miquel
Implicative algebras: Unifying forcing with realizability
26/06/2018   Pierre Pradic
LMSO: A Curry-Howard Approach to Church's Synthesis Problem via Linear Logic
12/06/2018   Colin Riba
Towards a Curry-Howard approach to Monadic Second Order Logic and Automata (IV)
05/06/2018   Colin Riba
Towards a Curry-Howard approach to Monadic Second Order Logic and Automata (III)
29/05/2018   Colin Riba
Towards a Curry-Howard approach to Monadic Second Order Logic and Automata (II)
24/05/2018   Olivier Carton
Normal numbers with constraints
11/05/2018   Colin Riba
Towards a Curry-Howard approach to Monadic Second Order Logic and Automata (I)
08/05/2018   Antonio Montalban
Introduction to reverse mathematics
24/04/2018   Antonio Montalban
Infinite Games
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)