ICALP-LICS 2020 Workshops

ICALP 2020 and LICS 2020 are scheduled to take place in co-location from 8th till 11th of July 2020 in Saarbrücken, Germany. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th.


Workshops on July 6th

  • LMW: Logic Mentoring Workshop
  • LOLA: syntax and semantics of low level languages

Workshops on July 7th

  • AATG: Algorithmic Aspects of Temporal Graphs
  • FG-PAAW: Fine-Grained and Parameterized Approximation Algorithms
  • INFINITY: infinite-state systems
  • LCC: Logic and Computational Complexity
  • PRiML: Programming Research in Mainstream Languages

Workshop selection committee

  • Frédéric Blanqui (chair)
  • Naoki Kobayashi
  • Yuqin Kong
  • Michał Pilipczuk
  • Zhilin Wu
  • Lijun Zhang