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