ICC 2003

Fifth International Workshop on
Implicit Computational Complexity

Call for Papers

The Implicit Computational Complexity Workshop (ICC'03) will be held on 26 - 27 June 2003 in Ottawa, Canada as a satellite workshop of the Logic in Computer Science Conference (LICS'03).

Recent Changes

  • The submission deadline has been moved to April 11.
  • The workshop proceedings are to be published by Electronic Notes in Theoretical Computer Science.


The synergy between Logic and Computational Complexity has gained importance and vigor in recent years, cutting across areas such as Proof Theory, Finite Model Theory, Computation Theory, Applicative Programming, Database Theory, and Philosophical Logic. Several machine-independent approaches to computational complexity have been developed that are based on notions borrowed primarily from mathematical logic. Examples include descriptive complexity (finite model theory), bounded arithmetic, set-existence principles, intrinsic theories, linear logics, and algebras of functions. Collectively these approaches might be termed Implicit Computational Complexity. Practically, implicit computational complexity provide a framework for a principled incorporation of computational complexity into areas such as formal methods in software development, the study of programming languages, and database theory.

The mission of the workshop is to further the development of implicit computational complexity and its applications. Topics of interest include:


The program will consist of invited talks, sessions of contributed papers, and software demonstrations.

Invited speakers

Paper submission

The results must be unpublished and not submitted for publication elsewhere. Survey papers that present some unified perspectives are welcome. One author of each accepted paper is expected to present the paper at the meeting. Proposed contributions should be submitted as extended abstracts, no more than 10 pages long in 11-point font. It must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and an explanation of their significance and relevance to the workshop. Detailed proofs, examples, programs, and other technical information may be included in the form of appendices.

Workshop proceedings

The proceedings will be published through Electronic Notes in Theoretical Computer Science.

For details on publication and copyright issues, follow this link.

Submission procedure

The submission deadline is 11 April 2003. All submissions must be done electronically unless the authors have limited access to email. Please email a Postscript version of your submission to Anuj.Dawar@cl.cam.ac.uk, with the phrase ``ICC submission'' as the message subject. Also email (to Anuj.Dawar@cl.cam.ac.uk) separate a cover letter, stating the paper's title, one corresponding author with complete contact information (address, email, phone, fax), and names and affiliation of other authors, if any. Alternatively, you can send 5 hard copies, with the above information, by air mail to the program chair. Authors with restricted copying facilities may also send a single hardcopy.

Program committee

Steering committee


This year the ICC workshop is supported in part by a generous grant by Le Centre de Recherches Mathématiques de l'Université de Montréal.

Important dates

11 April 2003   revised The submission deadline
23 May 2003   revised Notification of authors of accepted papers
26-27 June 2003 Workshop Dates
22-25 June 2003 LICS'03 Dates


The ICC home page: http://www.cis.syr.edu/~royer/icc/
The LICS home page: http://www.lfcs.informatics.ed.ac.uk/lics

Contact information

Anuj Dawar
University of Cambridge Computer Laboratory
William Gates Building
J.J. Thomson Avenue
Cambridge CB3 0FD, England
tel: +44 1223 334408
fax: +44 1223 334678