Logic List Mailing Archive

ICC'03 Ottawa June 2003

Fifth International Workshop on        
        IMPLICIT COMPUTATIONAL COMPLEXITY      
        26--27 June 2003,  Ottawa, Canada  

         Call for Papers 

Scope

The synergy between Logic and Computational Complexity has gained
importance and vigor in recent years.  In particular, there have arisen
several machine-independent approaches to computational complexity 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.  This work provides 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 workshop's mission is to further the development of implicit
computational complexity and its applications. Topics of interest include:
    automatic complexity analysis of programs
    complexity analysis for functional languages
    complexity in database theory
    complexity in formal methods
    foundations of implicit computational complexity
    higher-type computational complexity
    machine-independent characterizations of complexity classes
    logics closely related to complexity classes
    software that applies ICC ideas
    type systems for controlling complexity


Submissions deadline is 28 March 2003.  For details see
http://www.cis.syr.edu/~royer/icc/ICC03/, the workshop webpage.

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
Email: Anuj.Dawar@cl.cam.ac.uk

The ICC Homepage: http://www.cis.syr.edu/~royer/icc/

Program Committee: M. Benedikt (Lisle), R. Benzinger (Berlin), S. Buss
   (San Diego), A. Dawar (Cambridge) (chair), M. Grohe (Edinburgh),
   J. Johannsen (Munich), N. Jones (Copenhagen), B. Kapron (Victoria),
   K-H. Niggl (Ilmenau), L. Ong (Oxford)

Invited Speakers: A. Atserias (Barcelona)
                  E. Graedel (Aachen)
                  A. Liu (Stony Brook)
                  H. Mairson (Boston)

Steering Committee: R. Constable (Ithaca), A. Dawar (Cambridge),
   F. Ferreira (Lisbon), M. Hoffmann (Munich), N. Jones (Copenhagen),
   D. Leivant (Bloomington), J-Y. Marion (Nancy), L. Ong (Oxford),
   J. Royer (Syracuse) (chair), H. Schwichtenberg (Munich).

Important Dates:
  Submissions Due:  28 Mar. 2003
  Notification:     9 May 2003
  Final Copies Due: 2 June 2003

Sponsors

  ICC'03 is supported in part by a generous grant by Le Centre de
  Recherches Mathematiques de l'Universite de Montreal.  ICC'03 is
  also sponsored by the Association for Symbolic Logic and a satellite
  workshop of LICS 2003.