
Logical Models of Reasoning and Computation
Steklov Mathematical Institute, Moscow February 13,
2012

International workshop "Logical Models of Reasoning and Computation"
will take place at Steklov Institute of Mathematics in Moscow, Russia,
from 1.02.2012 to 3.02.2012. 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:
methods of automated and interactive proof search, term rewriting,
multiagent systems and epistemic reasoning, access control logics,
computational and proof complexity, grammars, proof theory, modal logic.
The conference in an expanded 6th edition of the traditional MoscowVienna Workshop on
Logic and Computation. This year's special emphasis is on logical formalisms and languages modelling interaction between
several agents. LMRC12 is supported by Microsoft Research project
"DKAL: a distributed knowledge authorization language".
All talks will be invited.
Program committee:
M. Baaz (Vienna), L. Beklemishev (chair), Y. Gurevich (MSR, Redmond).
Address: Steklov
Mathematical Institute Gubkina 8, 119991 GSP1
Moscow, Russia fax. +7(499)1350555 tel.
+7(495)9383744 email: wlc12@mi.ras.ru
