[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