[LICS] LICS 2020 Call for Participation

[LICS] 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

You are subscribed to the lics mailing list because you have signed up for it in the past.

Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').