• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book

LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020

Editor-in-chief: L. Zhang, N. Kobayashi.

This volume contains the proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). The symposium has originally been planned to be held in Beijing (China), and then moved to Saarbrücken (Germany). Due to the pandemic, the symposium was held online, in co-location with ICALP 2020, in the period July 8-11, being organized by Saarland Informatics Campus.

Chapters
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020