posted by user: gauwin || 3899 views || tracked by 8 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Logical and Computational Complexity
 
Link: http://ptmat.fc.ul.pt/lcc2012/
 
When Jun 24, 2012 - Jun 24, 2012
Where Dubrovnik, Croatia
Submission Deadline Apr 13, 2012
Notification Due May 1, 2012
Categories    logic   computation theory   theoretical computer science   formal methods
 

Call For Papers

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

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
LPAR 2020   LPAR23 - 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
SEFM 2020   Software Engineering and Formal Methods
CONCUR 2020   31st International Conference on Concurrency Theory
STOC 2020   Symposium on the Theory of Computing
ICLP 2020   The 36th International Conference on Logic Programming
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics