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:
Website: https://lmrc08.mi.ras.ru

Program Committee
Adian Sergei Ivanovich (Chairman)
Beklemishev Lev Dmitrievich (Vice-chairman)
Baaz Matthias
Parigot Michel
Visser Albert

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow