LICS 2020 and ICALP 2020 will be held online, hosted at Saarland (details).

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

Latest News

  • 10 December. LICS videos are archived at the TIB AV-Portal with DOIs etc..
  • 9 July. LICS proceedings are online in the ACM digital library.
  • 3 June. Unfortunately the FG-PAAW workshop has been cancelled this year.
  • 14 April. A list of LICS accepted papers is online.
  • 9 April. Unfortunately the LOLA workshop has been cancelled this year.
  • 31 March. LICS and ICALP 2020 will be held online. Details to follow.
  • 23 March. A local page is now available, hosted at Saarland Informatics Campus.
  • 23 March. Unfortunately the DECFOML workshop has had to cancel.
  • 12 Feb: 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.
  • 7 Feb: 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.

LICS/ICALP 2020 Workshops

July 6

  • LCC: Logic and Computational Complexity
  • LMW: Logic Mentoring Workshop
  • PRiML: Programming Research in Mainstream Languages

July 7

  • AATG: Algorithmic Aspects of Temporal Graphs
  • 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.