[TYPES/announce] Final Call for Papers of LCC'06

Jim Royer royer at ecs.syr.edu
Tue May 16 22:44:05 EDT 2006


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

  The Logic and Computational Complexity Workshop, LCC'06, will be
  held August 10-11, 2006 in Seattle, Washington, USA as 
  a satellite workshop of the Logic in Computer Science Conference
  (LICS'06 and part of the 2006 Federated Logic Conference (FLoC'06).

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 June 12, 2006.  See the workshop webpage,
  www.cis.syr.edu/~royer/lcc/LCC06/, for submission details.

PROGRAM COMMITTEE

   * Georg Gottlob (University of Oxford)
   * Neil Immerman (University of Massachusetts, Amherst) co-chair
   * Russell Impagliazzo (University of California, San Diego)
   * Neil Jones (University of Copenhagen)
   * Bruce Kapron (University of Victoria) co-chair
   * Harry Mairson (Brandeis University)
   * Karl-Heinz Niggl (University of Technology, Ilmenau)
   * Toniann Pitassi (University of Toronto)
   * Thomas Schwentick (University of Dortmund)
   * Colin Stirling (University of Edinburgh) 

Important dates

  12 June 2006 	         Submission deadline
  5 July 2006 	         Author notification
  10-11 August 2006      LCC Workshop Dates
  12-15 August 2006      LICS'06 Dates

WWW-pages

  The LCC home page:     www.cis.syr.edu/~royer/lcc/
  The LICS home page:    www.lfcs.informatics.ed.ac.uk/lics
  The FLOC'06 home page: research.microsoft.com/floc06/

Contact information

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






More information about the Types-announce mailing list