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