Articles de cet auteur
Nov 08
(English) Three visitors during Fall 2018
Désolé, cet article est seulement disponible en Anglais Américain.
Jun 07
(English) Map of rooms in the Alan Turing Building
Désolé, cet article est seulement disponible en Anglais Américain.
Aug 28
(English) Gabriel Scherer joins team
Désolé, cet article est seulement disponible en Anglais Américain.
Nov 02
(English) Zak Chihani defends his PhD today
Désolé, cet article est seulement disponible en Anglais Américain.
Oct 01
(English) Three people join the team today
Désolé, cet article est seulement disponible en Anglais Américain.
May 19
(English) Chuck Liang visits for a month
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 28
(English) ProofCert is looking for PostDocs
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 24
Horace Blanc joins the team for an M2 internship
Horace Blanc is doing his MPRI M2 internship at Parsifal under the supervision of Beniamino Accattoli. He will be working on Lambda to Pi.
Jan 05
(English) Two new members to the team
Désolé, cet article est seulement disponible en Anglais Américain.
Jun 12
(English) Chuck Liang visits during May and June
Désolé, cet article est seulement disponible en Anglais Américain.