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

Arnaud Durand durand at math.univ-paris-diderot.fr
Fri May 17 18:38:44 CEST 2013

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


The Fourteenth International Workshop on Logic and Computational Complexity
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.


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:


* Martin Avanzini (Innsbruck)
* Patrick Baillot (ENS Lyon)
* Marco Gaboardi (UPenn)
* Amélie Gheerbrant (Edimburgh)
* Juha Kontinen (Helsinki)


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

More information about the Agda mailing list