[TYPES/announce] LICS 2021 Call for Participation
Sam Staton
sam.staton at cs.ox.ac.uk
Thu Jun 10 01:20:02 EDT 2021
CALL FOR PARTICIPATION
Thirty-Sixth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
co-located with ITP 2021
29 June – 2 July 2021
preceded by workshops 27-28 June 2021
Registration (from 30 euros):
http://easyconferences.eu/lics2021/registration/
Program, including links to all preprints and videos:
http://easyconferences.eu/lics2021/program/
List of accepted papers:
http://easyconferences.eu/lics2021/accepted-papers/
Workshops:
LMW: Logic Mentoring Workshop
Structure meets Power
TLLA: Trends in Linear Logic and Applications
WiL: Women in Logic
Keynotes from
Luca Aceto
Martin Grohe
Maurizio Lenzerini
Nadia Polikarpova
Ryan Williams
More information about the Types-announce
mailing list