[TYPES/announce] LICS 2020 Call for Participation

[Sam Staton]

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