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.
Adian Sergei Ivanovich (Chairman)
Beklemishev Lev Dmitrievich (Vice-chairman)
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow