[TYPES/announce] LCC 2017: Call for papers

[Norman Danner]

======================================================================
                        First Call for Papers                    
                              LCC 2017                          
  18th International Workshop on Logic and Computational Complexity
                   June 19, 2017, Reykjavik, Iceland
                  collocated with LICS 2017
                  http://www.cs.swansea.ac.uk/lcc/
======================================================================

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.  

IMPORTANT DATES:

 * submission     April 14, 2017
 * notification   May    1, 2017
 * workshop       June  19, 2017 

INVITED SPEAKERS:

 * Arnaud Durand, Université Denis Diderot - Paris 7
 * Damiano Mazza, Institut Galilée, Université Paris-Nord

SUBMISSION:

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:

   https://easychair.org/conferences/?conf=lcc2017

PROGRAM COMMITTEE:

Norman Danner (co-chair, Wesleyan University, Connecticut, USA)
Heribert Vollmer (co-chair, Leibniz Universität, Hannover)
Martin Avanzini (Universität Innsbruck)
Olaf Beyersdorff (University of Leeds)
Juha Kontinen (University of Helsinki)
Ramyaa (New Mexico Tech)
James S. Royer (Syracuse University)
Cristina Sirangelo (Paris Diderot University - Paris 7)


-- 
Norman Danner - ndanner at wesleyan.edu - http://ndanner.web.wesleyan.edu
Department of Mathematics and Computer Science  -  Wesleyan University