Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25 June 2011, Twelfth International Workshop on Logic and Computational
Complexity (LCC'11), Toronto ON, Canada

Date: 25 June 2011
Location: Toronto ON, Canada
Deadline: 20 April 2011

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity, deductive formalisms as they relate to complexity, complexity aspects of finite model theory and databases, complexity-mindful program derivation and verification, computational complexity at higher type, and proof complexity.

LCC'11 will be held as an affiliated meeting of LiCS'11. The LCC'11 program will consist of invited lectures as well as contributed papers selected by the program committee.

For additional information see http://www.cs.swansea.ac.uk/lcc2011/ or contact or .

This year there will be no published proceedings, and we welcome informal presentations about work in progress, survey papers, as well as work submitted or published elsewhere. Paper submission deadline is 20 April.

Please note that this newsitem has been archived, and may contain outdated information or links.