[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
