LCC 2012 - 13th International Workshop on Logic and Computational Complexity

Website ptmat.fc.ul.pt/lcc2012/ | Edit Freely

Category LCC 2012

Deadline: April 13, 2012 | Date: June 24, 2012

Venue/Country: Dubrovnik, Croatia

Updated: 2012-04-05 16:37:38 (GMT+9)

Call For Papers - CFP

LOGIC AND COMPUTATIONAL COMPLEXITY (LCC 2012)

June 24, 2012, Dubrovnik, Croatia

http://ptmat.fc.ul.pt/lcc2012/

The Logic and Computational Complexity Workshop, LCC 2012,

will be held in Dubrovnik, Croatia, on Sunday, June 24,

2012, as an affiliated meeting of LICS~2012.

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

-- formal methods for complexity analysis of programs

-- foundations of implicit computational complexity

-- logical and machine-independent characterizations of

complexity classes

-- logics closely related to complexity classes

-- proof complexity

-- semantic approaches to complexity.

The program will consist of sessions of contributed papers

and invited

talks.

IMPORTANT DATES: Submissions due: April 13, 2012

Authors' notification: May 1, 2012

Submissions must be in English and in the form of abstracts

of about 3-4 pages. Submissions published elsewhere or

which are simultaneously being submitted to another

conference or workshop are welcome. Deadlines are firm;

late submissions will not be considered. All submissions

will be electronic via

http://www.easychair.org/conferences/?conf=lcc12

PROGRAM COMMITTEE: Albert Atserias (Barcelona), Patrick

Baillot (Lyon), Arnold Beckmann (Swansea), Guillaume

Bonfante (Nancy), Steve Cook (Toronto), Jörg Flum

(Freiburg, co-chair), Martin Grohe (Berlin), Isabel Oitavem

(Lisbon, co-chair), Thomas Schwentick (Dortmund), Denis

Therien (Montreal).

Joerg Flum