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/ICALP 2020 Workshops

July 6

  • DECFOML: Decidable Fragments of First-order Modal Logic
  • LMW: Logic Mentoring Workshop
  • LOLA: syntax and semantics of low level languages
  • WQC: Workshop on Quantum Computing

July 7

  • AATG: Algorithmic Aspects of Temporal Graphs
  • ALML: Aspects of Logic and Machine Learning
  • F-PAAW: Fine-Grained and Parameterized Approximation Algorithms
  • INFINITY: infinite-state systems
  • LPOP: Logic and Practice of Programming

LICS 2020 Invited Speakers

LICS 2020 Invited Tutorial Speakers

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.