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.

Mar 16

(English) New offices

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.

Aug 10

(English) Abella online tutorial

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

Jun 22

(English) Two papers accepted at PxTP 2015

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.