RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


International conference «Logical Models of Reasoning and Computation»
(5–8 мая 2008 г., г. Москва)

International conference "Logical models of reasoning and computation" will take place at Steklov Mathematical Institute in Moscow, Russia, from 5.05.2008 to 8.05.2008. The conference will cover a variety of topics in theoretical and applied logic centered around the notions of proof and computation.

E-mail:
Website: http://lmrc08.mi.ras.ru

Программный комитет
Адян Сергей Иванович (председатель)
Беклемишев Лев Дмитриевич (зам. председателя)
Baaz Matthias
Parigot Michel
Visser Albert

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018