Some Past Events


2009
  • Proof, Computation and Complexity workshop PCC09 . July 2-3, Nancy.
  • Logic and Computational Complexity workshop LCC'09 . August 10, Los Angeles.

    • 2008
  • CSL'08 : 17th EACSL Annual Conference on Computer Science Logic, September 15-20 2008, Bertinoro.
  • Ecole jeunes chercheurs en Informatique Mathématique 2008 (GdR IM), Marseille, 31 Mars au 4 Avril 2008.
  • Réunion 2008 des groupes de travail GEOCAL et LAC du GdR Informatique Mathématique, à Villetaneuse, 6-8 Mars, 2008.
  • Workshop on Implicit Computational Complexity (NO-CoST ) in Villetaneuse, February 11-12-13, 2008.

    2007
  • RDP conference 2007 (TLCA & RTA) in Paris, June 25th to 29th 2007.
  • J.-Y. Girard conference in Paris, September 10th to 12th 2007.

    2006
  • Geometry of Computation 2006 : Winter School and Workshops. Marseilles, 30/1->3/3/2006, including:
      GEOCAL06 workshop on Implicit Computational Complexity.
  • Special Issue of ACM ToCL on Implicit Computational Complexity.