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.
 RSS:
 Программный комитет
Адян Сергей Иванович (председатель)
Беклемишев Лев Дмитриевич (зам. председателя)
Baaz Matthias
Parigot Michel
Visser Albert
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
Пользовательское соглашение