LCC: Logical and Computational Complexity

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2013 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
LCC 2012 13th International Workshop on Logic and Computational Complexity
Jun 24, 2012 - Jun 24, 2012 Dubrovnik, Croatia Apr 13, 2012
 
 

Present CFP : 2012

CALL FOR PAPERS

13th International Workshop on

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
 

Related Resources

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
TTCS 2017   Topics in Theoretical Computer Science
STOC 2017   Symposium on the Theory of Computing
IJBES 2017   International journal of Biomedical Engineering and Science
AACSN 2017   Complexity Special Issue on Analysis and Applications of Complex Social Networks
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)--IEEE(CPS)-Final Call !
IWCLUL 2017   International Workshop for Computational Linguistics of Uralic Languages
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
ICFEM 2017   19th International Conference on Formal Engineering Methods
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science