8-11 Jul 2020
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 Grdel 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam