Catégorie : Workshops

Feb 18

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

De Kaustuv CHAUDHURI dans la catégorie Workshops

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

Nov 06

(English) Parsifal organizes the Collegium Logicum 2012 Workshop, 15-16 November

De Kaustuv CHAUDHURI dans la catégorie Workshops

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

Oct 14

(English) RAPT/Promis Workshop in McGill University, Canada

De Kaustuv CHAUDHURI dans la catégorie Workshops

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

Jul 02

(English) TWIP: This Week In Parsifal

De Dale MILLER dans la catégorie Talks, Visitors, Workshops

Jun 06

(English) Workshop on Abella and Bedwyr

De Dale MILLER dans la catégorie Talks, Visitors, Workshops

Apr 11

(English) Workshop on « Cross Perspectives on Proof Systems and their significance »

De Dale MILLER dans la catégorie Workshops

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

Apr 05

(English) Celebration of the career of Peter Andrews

De Dale MILLER dans la catégorie Talks, Workshops

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

Mar 29

(English) ASL special session on Structural Proof Theory and Computing

De Dale MILLER dans la catégorie Workshops

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

Mar 15

(English) Guenot and Miller speak at ChoCola, Lyon

De Dale MILLER dans la catégorie Talks, Workshops

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

Mar 06

(English) Workshop on Certificates and Computation

De Dale MILLER dans la catégorie Workshops

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