[Agda] LCC'13 : Workshop on Logic and Computational Complexity

[Arnaud Durand]

[ Please broadcast/post/forward.   Apologies for duplicates]

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 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 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)