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