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

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