Update: The LICS and the ICALP steering committee have agreed together with the conference chairs in Beijing to relocate this joint conference. ICALP and LICS 2020 will take place in Saarbrücken, Germany, July 8-11 (with satellite workshops on July 6-7). We are very grateful to our colleagues in Beijing, for their initial efforts at organizing this meeting, to our colleagues from Saarbrücken, who generously accepted this challenging task, and to all members of our community who offered their help in this difficult situation.

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 Saarbrücken, Germany during 8–11 July 2020, in co-location with ICALP 2020.

Latest News

  • A fresh call for workshops is made, with closing date 26 February. Unfortunately the workshops ALML, LPOP and WQC have had to cancel due to the change in location.
  • Coronavirus update: see top of page.

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

July 7

  • AATG: Algorithmic Aspects of Temporal Graphs
  • F-PAAW: Fine-Grained and Parameterized Approximation Algorithms
  • INFINITY: infinite-state systems

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.