Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

  • Start Date: 06/24/2019
  • End Date: 06/27/2019

Vancouver, BC


The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2019 will be hosted in Vancouver, Canada during 24–27 June 2019, with affiliated workshops 22–23 June.



Invited tutorial speakers

Andrei Bulatov

Daniela Petrisan


Invited speakers

Nicole Schweikardt

Peter Selinger

James Worrell


For more information, please visit the event webpage here.