The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be hosted in Beijing, China during 8–12 July 2020, in co-location with ICALP 2020.

Latest News

  • LICS 2020 Call for Papers is out now. LICS 2020 will use double-blind reviewing for the first time.
  • LICS 2020 Call for Workshops is out now. Deadline 30 November 2019.

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.