Wednesday, April 22, 2015

[DMANET] 16th International Workshop on Logic and Computational Complexity - 3rd call for papers

Third Call for Papers
(extended deadline)
LCC 2015
16th International Workshop on Logic and Computational Complexity
July 4-5, 2015, Kyoto, Japan
collocated with ICALP/LICS 2015

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 program will consist of invited lectures as well as contributed talks
selected by the Program Committee.


* submission April 29, 2015 (extended)
* notification May 14, 2015
* workshop July 4-5, 2015


* Olaf Beyersdorff (University of Leeds)
* Mikołaj Bojańczyk (Warsaw University)
* Akitoshi Kawamura (University of Tokyo)
* Jean-Yves Marion (LORIA, Nancy)
* ...


We welcome submissions of abstracts based on work submitted or published
elsewhere, provided that all pertinent information is disclosed at
submission time. There will be no formal reviewing as is usually
understood in peer-reviewed conferences with published proceedings. The
program committee checks relevance and may provide additional feedback.

Submissions must be in English and in the form of an abstract of about 3-4
pages. All submissions should be submitted through Easychair at:


* Albert Atserias (Universitat Politècnica de Catalunya, Barcelona) co-chair
* Guillaume Bonfante (LORIA, Nancy)
* Yijia Chen (Fudan University, Shanghai)
* Ugo Dal Lago (Università degli Studi di Bologna)
* Nao Hirokawa (JAIST, Nomi) co-chair
* Antonina Kolokolova (Memorial University of Newfoundland)
* Damiano Mazza (CNRS, LIPN - University Paris 13)
* Georg Moser (University of Innsbruck)
* Moritz Müller (Kurt Gödel Research Center for Mathematical Logic, Wien)
* Benjamin Rossman (National Institute of Informatics, Tokyo)
* Iddo Tzameret (Royal Holloway, University of London)
* Heribert Vollmer (Leibniz Universität Hannover)

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.