[TYPES/announce] LCC 2018: Final Call for Contributions

Jan Hoffmann uni at hoffjan.de
Sat Apr 7 13:35:57 EDT 2018


======================================================================
                        Final Call for Contributions
                              LCC 2018
  19th International Workshop on Logic and Computational Complexity
                        July 13, 2018, Oxford, UK
                          Part of FLoC 2018
                  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 15, 2018
 * notification   May 15, 2018
 * workshop       July 13, 2018

INVITED SPEAKERS:

 * Mikolaj Bojanczyk (University of Warsaw)
 * Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis)

MEMORIAL SESSION:

LCC 2018 will feature a memorial session to remember and honor the
work of Martin Hofmann (1965-2018), who was an active member of the
LCC Steering Committee. The session will include talks by Steffen
Jost, Ugo Dal Lago, Benjamin Pierce, and Don Sannella.

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=lcc18

PROGRAM COMMITTEE:

Erich Grädel (co-chair, RWTH Aachen University)
Jan Hoffmann (co-chair, Carnegie Mellon University)
Albert Atserias (Universitat Politècnica de Catalunya)
Antonina Kolokolova (Memorial University of Newfoundland)
Damiano Mazza (CNRS - Université Paris 13)
Wied Pakusa (University of Oxford)
Simona Ronchi Della Rocca (Università di Torino)
Ulrich Schöpp (LMU München)


More information about the Types-announce mailing list