May 15

(English) Olivier Savary-Bélanger begins his summer internship

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

Apr 20

(English) Stefan Hetzl gets a new position in Vienna

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

Apr 19

(English) Nicolas Guenot successfully defends his Ph.D.

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

Mar 25

(English) Paper accepted to LICS 2013

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

Mar 24

(English) Jean Pichon starts as an intern

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

Mar 24

(English) Paper accepted to CADE 2013

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

Mar 14

(English) ProofCert funded PostDoc positions available

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

Feb 26

(English) Talk by Danko Ilik, 19 March 2013

Feb 18

(English) Small Workshop on Formal Meta-Theory, 5-6 March

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

Feb 11

(English) A talk by Zena Ariola