ИСТИНА

• Охват: Международная
• Даты проведения: 1-3 февраля 2012
• Место проведения: Математический институт им. В.А.Стеклова РАН, Russia
• Организатор:
  Математический институт имени В. А. Стеклова РАН
• Число участников: 50
• Число иностранных участников: 15
• Число участников из МГУ: 10
• Число докладчиков: 23
• Веб-сайт: http://wlc12.mi.ras.ru
• Описание конференции:

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

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

Доклады:

• 2012 First order logic of proofs (Устный)
• Автор: Yavorskaya Tatiana

• 2012 Graded dependent modal logics (Устный)
• Автор: Zolin Evgeny

• 2012 On abstract resource semantics and computabilty logic (Устный)
• Автор: Vereshchagin Nikolay

• 2012 Realizing public announcements by justifications (Устный)
• Автор: Kuznets Roman

• 2012 The lattice of relational algebras definable in integers with successor (Устный)
• Авторы: Semenov Alexei, Soprunov Sergey