ИСТИНА

• Охват: Международная
• Даты проведения: 21-25 января 2019
• Место проведения: Амстердам, Netherlands
• Число участников: 80
• Число участников из МГУ: 1
• Число докладчиков: 60
• Веб-сайт: https://events.illc.uva.nl/SYSMICS2019/
• Описание конференции:

  Конференция посвящена взаимодействию синтаксических и семантических методов в неклассических логиках. Проблематика конференции находится на стыке теории доказательств, универсальной алгебры, теории моделей и теории алгоритмов.

• Добавил в систему: Шехтман Валентин Борисович

Доклады:

• 2019 On one-variable fragments of modal predicate logics (Устный)
• Авторы: Shkatov Dmitry, Shehtman Valentin