[TYPES] CALL FOR PAPERS: 7th Workshop on Logic and Computational Complexity

[Jim Royer]

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

  The Logic and Computational Complexity Workshop, LCC'05, is planned to
  be held in June 2005 in Chicago as a satellite workshop of the Logic
  in Computer Science Conference, LICS'05, (subject to final approval by
  the LICS organizers).

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 
   * 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 17.  See the workshop webpage,
  http://www.cis.syr.edu/~royer/lcc/LCC05/, for submission details.

PROGRAM COMMITTEE

   * Samson Abramsky (University of Oxford), co-chair
   * Rajeev Alur (University of Pennsylvania)
   * Albert Atserias (UPC, Barcelona)
   * Andrei Bulatov (Simon Fraser University)
   * Kousha Etessami (University of Edinburgh)
   * Daniel Leivant (Indiana University)
   * Leonid Libkin (University of Toronto), co-chair
   * Igor Walukiewicz (University of Bordeaux)

IMPORTANT DATES

  April 17, 2005      The submission deadline                       
  May 9, 2005         Notification of authors of accepted papers            
  Not Finalize        Workshop Dates                                        
  June 26-29, 2005    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 

CONTACT INFORMATION

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