ИСТИНА

• Охват: Международная
• Даты проведения: 8-11 июля 2020
• Место проведения: онлайн, Germany
• Организатор:
  Saarland University
• Число участников: 200
• Веб-сайт: https://lics.siglog.org/lics20/
• Все конференции этой группы
• Описание конференции:

  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.

• Добавил в систему: Жук Дмитрий Николаевич

Доклады:

• 2020 A proof of the CSP Dichotomy Conjecture (Приглашенный)
• Автор: Zhuk D.