[TYPES/announce] Virtual LCC'20: Second Call for Contributions

Martin Avanzini martin.avanzini at inria.fr
Tue Apr 21 06:47:45 EDT 2020


(Apologies for cross posting.)

===================================================================

                  Second Call for Contributions
                             LCC 2020

  21th International Workshop on Logic and Computational Complexity

           July 6, 2020, VIRTUAL (Saarbruecken, Germany)

  Collocated with LICS/ICALP 2020 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.

VIRTUAL EDITION:

The LCC workshop is co-allocated with LICS/ICALP and as such will take
place as a virtual event, due to the Covid-19 pandemic. The workshop has
been moved to July 6th for this reason. Further details will be posted
on the webpage as soon as the handling of the virtual LICS/ICALP
conferences become clear.

IMPORTANT DATES:

All dates are AoE, extended because of COVID-19.
  * submission     May  6, 2020
  * notification   May 27, 2020
  * workshop       July 6, 2020


SUBMISSION:

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


We also 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.

PROGRAM COMMITTEE:

Martin Avanzini (INRIA Sophia Antipolis Méditerranée, France, co-chair)
Diego Figueira  (CNRS Bordeaux, France)
Joanna Ochremiak (CNRS Bordeaux, France)
Magdalena Ortiz (TU Wien, Austria)
Thomas Seiller (CNRS Paris, France)
Jakob Grue Simonsen (University of Copenhagen, Denmark)
Thomas Zeume (Ruhr-Universität Bochum, Germany, co-chair)

CONTACT:

To contact the workshop organizers, please send an e-mail to 
lcc20 at easychair.org


More information about the Types-announce mailing list