[TYPES] CFP: 9th Intl. Workshop on Logic & Computational Complexity (LCC'07)

[James S. Royer]

CALL FOR PAPERS: 9TH INTL WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY
------------------------------------------------------------------------

   The Logic and Computational Complexity Workshop, LCC'07, will be
   held 15 July 2007 in Wroclaw, Poland as a satellite workshop of
   the Logic in Computer Science Conference (LICS'07).

SCOPE

   The workshop aims at furthering an understanding of the fundamental
   relations between computational complexity and logic.  Topics of
   interest include:

    * complexity analysis for functional languages
    * complexity in database theory
    * complexity in formal methods
    * complexity-theoretic type systems
    * computational complexity in higher types
    * formal methods for complexity analysis of programs
    * foundations of implicit computational complexity
    * logical & machine-independent characterizations of complexity  
classes
    * logics closely related to complexity classes
    * proof complexity
    * semantic approaches to complexity
    * software that applies LCC ideas

FORMAT

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

PAPER SUBMISSION

   The deadline for submissions is April 16, 2007.  See the workshop  
webpage,
   http://www.cis.syr.edu/~royer/lcc/LCC07/, for submission details.

PROGRAM COMMITTEE

   * Albert Atserias (Polytechnic University of Catalonia)
   * Ulrich Berger (University of Wales, Swansea)
   * Andrei Bulatov (Simon Fraser University)
   * Stephan Kreutzer (Humboldt University of Berlin)
   * Andrzej Murawski (University of Oxford)
   * Martin Otto, co-chair (Darmstadt University of Technology)
   * Kazushige Terui (National Institute of Informatics, Tokyo)
   * Pawel Urzyczyn, co-chair (University of Warsaw)

Important dates

   16 April 2007         The submission deadline
   12 May 2007           Notification of authors of accepted papers
   15 July 2007          LCC Workshop Dates
   10-14 August 2007     LICS'07 Dates

WWW-pages

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

Contact information

   James S. Royer
   Department of Electrial Engineering and Computer Science
   Syracuse University
   Syracuse, NY 13244 USA
   Email: royer at ecs syr edu