Logic List Mailing Archive

ICC'02

WORKSHOP ON IMPLICIT COMPUTATIONAL COMPLEXITY (ICC'02)  
   (affiliated with FLOC 2002)
   Second call for Papers
   Copenhagen, 20-21 July 2002
   http://http://www.cis.syr.edu/~royer/icc
 * Scope: The workshop seeks original research reports on advances in
   implicit computational complexity.  Topics of interest include
   (but are not limited to): automatic complexity analysis of
   programs, complexity analysis for functional languages,
   higher-type computational complexity, logical and
   machine-independent characterizations of complexity classes logics
   closely related to complexity classes, software that applies ICC
   ideas in programming language design and in formal methods, and
   type systems for controlling complexity
 * All submissions must be done electronically.  Please email your
   submission to royer@ecs.syr.edu
 * Submission Deadline : 30 April, 2002
 * Program committee. Jean-Yves Girard (Institut de Mathematiques de
   Luminy, Marseille) Martin Hofmann (Ludwig-Maximilians-Universitat,
   Muenchen) Neil Jones (University of Copenhagen, Denmark) Jean-Yves
   Marion (Loria, Nancy, France) James Royer (Syracuse University,
   Syracuse, NY, USA) (Chair) Paul Voda (Comenius University,
   Slovakia)