General Information


Preliminary list of speakers

Practical information

Cultural events in Moscow

Pictures from the conference


Steklov Mathematical Institute

Russian Academy of Sciences

Russian Foundation for Basic Research

The Netherlands Organisation for Scientific Research (NWO)

Kurt Gödel Society (Austria)


Logical Models of Reasoning and Computation

Steklov Mathematical Institute, Moscow
May 5-8, 2008

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.

Topics include but are not restricted to: proof theory, constructive logics, realizability, modal logic, Lambek calculus and linear logic, provability logics and algebras, formal arithmetic and fragments. Topics in applied logic include: methods of automated and interactive proof search, term rewriting, categorial grammars and other applications in linguistics, multi-agent systems and epistemic reasoning, proof complexity, computational complexity.

All talks will be invited. A post-conference proceedings volume is planned.

Program committee:
S. Adian (chair), L. Beklemishev (vice-chair), M. Baaz (Vienna), M. Parigot (Paris), A. Visser (Utrecht)

Steklov Mathematical Institute
Gubkina 8, 119991 GSP-1 Moscow, Russia (map)
fax. +7-(499)-135-0555
tel. +7-(495)-938-3744
e-mail: lmrc08@mi.ras.ru