Dale MILLER

Articles de cet auteur

Nov 14

(English) Chuck Liang visits LIX the week of 17 Dec 2012

Oct 19

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

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