ИСТИНА

• Члены программного комитета: Кузнецов С.Л., Кузнецов С.Л.
• Охват: Международная
• Даты проведения: 13-17 июня 2023
• Место проведения: Москва, Математический институт им. В.А. Стеклова Российской академии наук, Russia
• Организатор:
  Математический институт имени В. А. Стеклова РАН
• Веб-сайт: https://scan2023.mi-ras.ru/
• Добавил в систему: Оноприенко Анастасия Александровна

Доклады:

• 2023 Algebraic semantics for hypergraph Lambek calculus (Устный)
• Автор: Pshenitsyn Tikhon

• 2023 Completeness of the logic HC in a special space (Устный)
• Автор: Onoprienko A.A.