CFP: LCC'06 - Workshop on Logic and Computational Complexity

CALL FOR PAPERS: 8th Intl Workshop on Logic and Computational Complexity
------------------------------------------------------------------------

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

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
   * 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
   * type systems for controlling complexity

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, http://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

  June 12        The submission deadline                       
  July 5         Notification of authors of accepted papers            
  August 10-11   Workshop Dates                                        
  August 12-15   LICS'05 Dates 

WEB PAGES

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

CONTACT INFORMATION

  James S. Royer
  Department of Electrial Engineering and Computer Science
  Syracuse University
  Syracuse, NY 13244  USA
  Email: someone@someplace 
     where somplace=ecs.syr.edu and someone=royer
------------------------------------------------------------------------
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/

Received on Wednesday, 15 March 2006 21:30:30 UTC