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, but held entirely online. The conferences will be preceded by two days of joint workshops, held online on July 6th and 7th, unless otherwise noted.

Access to the workshops will be free of charge, i.e. will not require a paid registration, but might need to be put behind a light-weight authentication mechanism. More info follows.

 

Workshops on July 6th

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

Workshops on July 7th

  • AATG: Algorithmic Aspects of Temporal Graphs
  • FG-PAAW: Fine-Grained and Parameterized Approximation Algorithms CANCELED
  • INFINITY: Verification of Infinite-State Systems

Workshop selection committee

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