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