6 Sep 2013
Torino, Italy
LCC'13 WORKSHOP ANNOUNCEMENT The Fourteenth International Workshop on Logic and Computational Complexity (LCC'11,http://www.cs.swansea.ac.uk/lcc2013/) will be held in Torino on September 6, 2013, as an affiliated meeting of CSL'13 (http://csl13.di.unito.it/). LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in 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); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The LCC'13 program will consist of invited lectures as well as selected contributed papers. We welcome informal presentations about work in progress, survey papers, as well as work submitted or published elsewhere, provided all pertinent information is disclosed at submission time. Submissions in the form of an extended abstract of approx. 5 pages are welcome. If full papers are submitted, they should not exceed 15 pages. Proposed papers should be sent to the program chairs. IMPORTANT DATES Paper submission deadline: 20 June Authors' notification: 8 July LCC'13 workshop: 6 September For additional information see http://www.cs.swansea.ac.uk/lcc2013/ or email inquiries to durand@math.univ-paris-diderot.fr or martini@cs.unibo.it Further information about previous LCC meetings can be found at: http://www.cis.syr.edu/~royer/lcc. PRELIMINARY LIST OF SPEAKERS * Martin Avanzini (Innsbruck) * Patrick Baillot (ENS Lyon) * Marco Gaboardi (UPenn) * Amlie Gheerbrant (Edimburgh) * Juha Kontinen (Helsinki) PROGRAM CHAIRS * Arnaud Durand (U. Paris Diderot) * Simone Martini (U. Bologna) STEERING COMMITTEE: Michael Benedikt (Oxford, Co-chair), Ulrich Berger (Swansea, Co-chair), Robert Constable (Cornell), Anuj Dawar (Cambridge), Fernando Ferreira (Lisbon), Martin Hofmann (U Munich), Stefan Kreutzer (Oxford), Neil Jones (Copenhaguen), Daniel Leivant (Indiana U), Jean-Yves Marion (LORIA Nancy), Yannis Moschovakis (UCLA), Luke Ong (Oxford), Simona Ronchi Della Rocca (Turin), James Royer (Syracuse), Helmut Schwichtenberg (U Munich)