The Implicit Complexity Workshop (ICC'02) will be held on 20-21 July 2002 in Copenhagen as part of the Federated Logic Conference (FLOC'02) and affiliated with the IEEE Symposium on Logic in Computer Science (LICS 2002).
Implicit Computational Complexity concerns the theory and application of logic-based, machine-independent approaches to computational complexity. These approaches have opened new ways of incorporating aspects of computational complexity into areas such as formal methods in software development, programming language design, and database theory.Topics of interest include:
- 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
- type systems for controlling complexity
List of accepted contributed papers.
Invited and program committee talks.
Preliminary Proceedings (UNDER CONSTRUCTION)
For the on-line FLoC registration, start here.
- 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)
- Daniel Leivant (University of Indiana at Bloomington)
- Jean-Yves Marion (Loria, Nancy, France)
14 May 2002 The extended submission deadline 24 May 2002 Notification of authors of accepted papers 20-21 July 2002 Workshop Dates 20 July - 1 August FLOC Dates
The FLoC'02 home page:
http://floc02.diku.dk/The ICC'02 page at the FLoC'02 site:
http://floc02.diku.dk/ICC/The ICC'02 call for papers:
http://www.cis.syr.edu/~royer/icc/call.html
James S. Royer
Dept. of Elec. Engrg. and Computer Science
Syracuse University
Syracuse, NY 13244 USA
tel:+1 315 443 1028
fax:+1 315 443 1122
royer@ecs.syr.edu