Logic and Computational Complexity
An International Workshop Series
LCC 2014 / ImmermanFest MEETING
For USA-based students/post-docs substantial NSF funding remaining for workshop attendance, allocated on a first-come first-considered basis
The Fifteenth International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday will be held in Vienna, Austria, on July 12-13, 2014, as an affiliated meeting of the Vienna Summer of Logic.
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present in, for example: finite model theory and descriptive complexity; implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); logic and complexity-theoretic aspects of databases; complexity-mindful program verification and synthesis; computational complexity at higher type; and proof complexity.
The LCC 2014/ImmermanFest program will consist of a first day of talks which include invited lectures as well as contributed talks selected by the program committee (based on submitted abstracts), and a second day devoted to the celebration of Neil Immerman's 60th birthday, which will consist entirely of invited talks.
We will have a workshop dinner in honour of Immerman on the evening of the last day. The dinner is included in the workshop fee.
INVITED SPEAKERS - regular part (12 July 2014)
INVITED SPEAKERS - Immerman Fest (13 July 2014)
SUBMISSION OF PAPERS
Submissions must be in English and in form of an abstract of about 3-4 pages. Submissions published elsewhere or which are simultaneously being submitted to another conference or workshop are welcome. All submissions should be submitted through Easychair at the following address: http://www.easychair.org/conferences/?conf=lcc2014
Registration is handled by the VSL organization at the following address: http://vsl2014.at/registration/
We ackowledge the generous financial support by the Division of Logic, Methodology and Philosophy of Science, and the support by the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften