CALL FOR PARTICIPATION
Thirty-Fifth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) co-located with ICALP 8–11 July 2020 preceded by workshops 6-7 July 2020
Registration (including free option): https://lics2020.saarland-informatics-campus.de/lics-registration/
Preliminary schedule: https://lics2020.saarland-informatics-campus.de/programme/
Accepted papers: https://lics.siglog.org/lics20/accepted.php
Keynotes from Mariangiola Dezani Jerome Leroux Andrew Yao
Tutorials from Erich Grädel Brigitte Pientka
Workshops: AATG: Algorithmic Aspects of Temporal Graphs INFINITY: Verification of Infinite-State SystemsLCC: Logic and Computational Complexity LMW: Logic Mentoring Workshop PRiML: Programming Research in Mainstream Languages
finite-model-theory@lists.rwth-aachen.de