Logic and Computational Complexity

An International Workshop Series


 

Home

Steering-Com

Past-meetings

Program

Grants

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.

IMPORTANT DATES

  • Abstract submission deadline: 16 May 2014 (extended!)
  • Authors' notification: 26 May 2014

INVITED SPEAKERS - regular part (12 July 2014)

  • Sam Buss (University of California, San Diego)
  • Georg Moser (University of Innsbruck)

INVITED SPEAKERS - Immerman Fest (13 July 2014)

  • Eric Allender (Rutgers)
  • Anuj Dawar (University of Cambridge)
  • Phokion Kolaitis (University of California, Santa Cruz)
  • Benjamin Rossman (National Institute of Informatics, Tokyo)
  • Mooly Sagiv (Tel Aviv University)
  • Nicole Schweikardt (Goethe University Frankfurt am Main)

PROGRAMME COMMITTEE

  • Arnold Beckmann (Swansea University) - chair
  • Ulrich Berger (Swansea University)
  • Olaf Beyersdorff (University of Leeds)
  • Yijia Chen (Shanghai Jiao Tong University)
  • Anuj Dawar (University of Cambridge)
  • Kousha Etessami (University of Edinburgh) - chair
  • Martin Grohe (RWTH Aachen)
  • Martin Hofmann (LMU Munich)
  • Leszek Kolodziejczyk (University of Warsaw)
  • Stephan Kreutzer (Technical University Berlin)
  • Mooly Sagiv (Tel Aviv University)
  • Shlomo Zilberstein (University of Massachusetts, Amherst)

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

Registration is handled by the VSL organization at the following address: http://vsl2014.at/registration/

SPONSORS

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