[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