Dale MILLER

Articles de cet auteur

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 11

(English) A talk by Zena Ariola

Jan 16

(English) A talk by Thanos Tsouanas

Jan 15

(English) Thanos Tsouanas visits for two weeks

Dec 03

(English) Chuck Liang speaks at 19 Dec at 11h

Nov 30

(English) An internship proposed

Nov 26

(English) Florence Clerc speaks at INRIA-Paris

Nov 20

(English) Lamarche speaks on « Foncteur des chemins dans Cat »