ИСТИНА

• Охват: Международная
• Даты проведения: 24-27 июня 2019
• Место проведения: Ванкувер, Canada
• Организатор:
  Simon Fraser University
• Число участников из МГУ: 1
• Число докладчиков: 65
• Веб-сайт: https://lics.siglog.org/lics19/
• Все конференции этой группы
• Описание конференции:

  The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

• Добавил в систему: Кузнецов Степан Львович

Доклады:

• 2019 The logic of action lattices is undecidable (Пленарный)
• Автор: Kuznetsov Stepan