13 July 2018, 19th International Workshop on Logic and Computational Complexity (LCC 2018), Oxford, England
LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity; deductive formalisms as they relate to complexity; complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2018 will be part of FLoC 2018.
The program will consist of invited lectures by Mikolaj Bojanczyk (University of Warsaw) and Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis), as well as contributed talks selected by the Program Committee.
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.