[TYPES/announce] LCC 2017: 2nd call for papers; 1st call for participation

[Norman Danner]

======================================================================
                     First Call for Participation
                        Second 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)

REGISTRATION:

Registration for LiCS 2017 and LCC is now open, and early registration ends on
Friday, 07 April 2017.  To register, please visit

  http://lics.rwth-aachen.de/lics17

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