ИСТИНА

• Охват: Локальная
• Даты проведения: 30-31 мая 2012
• Место проведения: МЦНМО, Москва, Russia
• Организатор:
  Московский центр непрерывного математического образования (МЦНМО)
• Число участников: 30
• Число участников из МГУ: 12
• Число докладчиков: 23
• Веб-сайт: https://www.mccme.ru/lifr/clkr2012/program.html
• Описание конференции:

  Московские чтения по конструктивной логике и представлению знаний к 60-летию С. Н. Артёмова. // Moscow Workshop on Constructive Logic and Knowledge Representation, on the occasion of 60th birthday of Sergey Artemov.

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

Доклады:

• 2012 Модальная транзитивная логика с градуированными прямыми и обратными модальностями (Устный)
• Автор: Золин Евгений Евгеньевич