International workshop "Logical Models of Reasoning and Computation" (February 1–3, 2012, Steklov Mathematical Institute, Moscow)
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.
Photogallery of the conference
Program Committee
Beklemishev Lev Dmitrievich (Chairman)
Baaz Matthias
Gurevich Yuri
Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow 

International workshop "Logical Models of Reasoning and Computation", Moscow, February 1–3, 2012 


February 1, 2012 

1. 
Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust Yuri Gurevich February 1, 2012 10:00, Moscow, Steklov Mathematical Institute





2. 
Dynamic Epistemic Logic Hans van Ditmarsch February 1, 2012 10:45, Moscow, Steklov Mathematical Institute





3. 
Z3  An Efficient Satisfiability Modulo Theories solver: Foundations and Applications Nikolaj Bjorner February 1, 2012 12:00, Moscow, Steklov Mathematical Institute





4. 
Realizing Public Announcements by Justifications Roman Kuznets February 1, 2012 12:45, Moscow, Steklov Mathematical Institute





5. 
On a method of proving exact bounds on derivational complexity in length preserving Thue systems Sergei Adian February 1, 2012 15:30, Moscow, Steklov Mathematical Institute





6. 
Epsilon theorems and nonclassical logics Matthias Baaz February 1, 2012 16:15, Moscow, Steklov Mathematical Institute





7. 
Types and truth in weak applicative theories Thomas Strahm February 1, 2012 17:30, Moscow, Steklov Mathematical Institute






February 2, 2012 

8. 
What is the intrinsic logic of infons? Andreas Blass, Yuri Gurevich February 2, 2012 10:00, Moscow, Steklov Mathematical Institute





9. 
How and Why Separation Logic is good for Resource Reasoning about Programs Max Kanovich February 2, 2012 10:45, Moscow, Steklov Mathematical Institute





10. 
Solving Fixedpoints with Theories: From program logics, to logic programs, to logic engines Nikolaj Bjorner February 2, 2012 12:00, Moscow, Steklov Mathematical Institute





11. 
On abstract resource semantics and computabilty logic Nikolay Vereshchagin February 2, 2012 12:45, Moscow, Steklov Mathematical Institute





12. 
On ontologybased data access Michael Zakharyaschev February 2, 2012 15:30, Moscow, Steklov Mathematical Institute





13. 
Graded Dependent Modal Logics Evgeny Zolin February 2, 2012 16:15, Moscow, Steklov Mathematical Institute





14. 
P(l)aying for synchronization Mikhail Volkov February 2, 2012 17:30, Moscow, Steklov Mathematical Institute






February 3, 2012 

15. 
Nonclassical Proofs: theory, applications, and tools Agata Ciabattoni February 3, 2012 10:00, Moscow, Steklov Mathematical Institute





16. 
Deskolemization, equality and logical complexity Daniel Weller February 3, 2012 10:45, Moscow, Steklov Mathematical Institute





17. 
Canonical inference Nachum Dershowitz February 3, 2012 12:00, Moscow, Steklov Mathematical Institute





18. 
The lattice of relational algebras definable in integers with successor Aleksei Semenov, Sergei Soprunov February 3, 2012 12:45, Moscow, Steklov Mathematical Institute





19. 
Grammars based on variants of the Lambek calculus Stepan Kuznetsov February 3, 2012 15:30, Moscow, Steklov Mathematical Institute





20. 
First order logic of proofs Tatiana Yavorskaya February 3, 2012 16:15, Moscow, Steklov Mathematical Institute





21. 
Modular construction of cutfree calculi for paraconsistent logics Anna Zamansky February 3, 2012 17:30, Moscow, Steklov Mathematical Institute





