ИСТИНА

• Охват: Локальная
• Даты проведения: 18-19 июля 2016
• Место проведения: Математический институт им. В.А. Стеклова Российской академии наук, Россия
• Организатор:
  Математический институт им. В.А. Стеклова Российской академии наук
• Число участников: 30
• Число иностранных участников: 2
• Число участников из МГУ: 1
• Число докладчиков: 30
• Веб-сайт: http://www.mathnet.ru/conf923
• Описание конференции:

  Двухдневная конференция, посвященная 85-летию академика РАН Сергея Ивановича Адяна.

• Добавил в систему: Золин Евгений Евгеньевич

Доклады:

• 2016 Positive provability logic and reflection calculus (Устный)
• Автор: Беклемишев Лев Дмитриевич