Désolé, cet article est seulement disponible en Anglais Américain.
Catégorie : Workshops
Nov 06
(English) Parsifal organizes the Collegium Logicum 2012 Workshop, 15-16 November
Désolé, cet article est seulement disponible en Anglais Américain.
Oct 14
(English) RAPT/Promis Workshop in McGill University, Canada
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 11
(English) Workshop on « Cross Perspectives on Proof Systems and their significance »
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 05
(English) Celebration of the career of Peter Andrews
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 29
(English) ASL special session on Structural Proof Theory and Computing
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 15
(English) Guenot and Miller speak at ChoCola, Lyon
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 06
(English) Workshop on Certificates and Computation
Désolé, cet article est seulement disponible en Anglais Américain.