Oct 19

(English) Daniel Weller visits and speaks 23-24 Oct 2012

Oct 14

(English) RAPT/Promis Workshop in McGill University, Canada

Désolé, cet article est seulement disponible en Anglais Américain.

Oct 09

(English) David Baelde visits and speaks

Oct 08

(English) New paper on Combining Intuitionistic and Classical Logics

Oct 02

(English) Matteo Cimini joins as a Post Doc

Sep 17

(English) Daniel Seidel speaks 20/09 at 13h30

Sep 05

(English) Lectures from the Paraty Proof Theory School

Désolé, cet article est seulement disponible en Anglais Américain.

Sep 05

(English) Some changes in the team’s postdocs

Désolé, cet article est seulement disponible en Anglais Américain.

Aug 30

(English) Accepted papers for CPP 2012

Aug 20

(English) Workshop dates: 15 & 16 Nov 2012