[TYPES/announce] Extended Deadline/LCC 2013-Torino

[Simone Martini]

**DEADLINE FOR SUBMISSION EXTENDED TO JUNE 28th**

LCC'13 WORKSHOP ANNOUNCEMENT

The Fourteenth International Workshop on Logic and Computational  
Complexity
(LCC'13, 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 submitted on  
Easychair:
https://www.easychair.org/conferences/?conf=lcc13


IMPORTANT DATES

**EXTENDED** Paper submission deadline:       28 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 at math.univ-paris-diderot.fr or martini at cs.unibo.it

Further information about previous LCC meetings can be found at:
http://www.cis.syr.edu/~royer/lcc.

PRELIMINARY LIST OF INVITED SPEAKERS

* Martin Avanzini (Innsbruck)
* Patrick Baillot (ENS Lyon)
* Marco Gaboardi (UPenn)
* Amélie 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)