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:
Вебсайт: https://lmrc08.mi.ras.ru

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

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