RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


International workshop "Logical Models of Reasoning and Computation"
(February 01–03 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, multi-agent systems and epistemic reasoning, access control logics, computational and proof complexity, grammars, proof theory, modal logic.

The conference in an expanded 6-th edition of the traditional Moscow-Vienna 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.

E-mail:
Website: http://wlc12.mi.ras.ru

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 01–03 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
Yuri Gurevich
  
2. Dynamic Epistemic Logic
Hans van Ditmarsch
February 1, 2012 10:45, Moscow, Steklov Mathematical Institute
Hans van Ditmarsch
  
3. Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
Nikolaj Bjorner
February 1, 2012 12:00, Moscow, Steklov Mathematical Institute
Nikolaj Bjorner
  
4. Realizing Public Announcements by Justifications
Roman Kuznets
February 1, 2012 12:45, Moscow, Steklov Mathematical Institute
Roman Kuznets
  
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
Sergei Adian
  
6. Epsilon theorems and non-classical logics
Matthias Baaz
February 1, 2012 16:15, Moscow, Steklov Mathematical Institute
Matthias Baaz
  
7. Types and truth in weak applicative theories
Thomas Strahm
February 1, 2012 17:30, Moscow, Steklov Mathematical Institute
Thomas Strahm
  

February 2, 2012
8. What is the intrinsic logic of infons?
Andreas Blass, Yuri Gurevich
February 2, 2012 10:00, Moscow, Steklov Mathematical Institute
Andreas Blass, Yuri Gurevich
  
9. How and Why Separation Logic is good for Resource Reasoning about Programs
Max Kanovich
February 2, 2012 10:45, Moscow, Steklov Mathematical Institute
Max Kanovich
  
10. Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
Nikolaj Bjorner
February 2, 2012 12:00, Moscow, Steklov Mathematical Institute
Nikolaj Bjorner
  
11. On abstract resource semantics and computabilty logic
Nikolay Vereshchagin
February 2, 2012 12:45, Moscow, Steklov Mathematical Institute
Nikolay Vereshchagin
  
12. On ontology-based data access
Michael Zakharyaschev
February 2, 2012 15:30, Moscow, Steklov Mathematical Institute
Michael Zakharyaschev
  
13. Graded Dependent Modal Logics
Evgeny Zolin
February 2, 2012 16:15, Moscow, Steklov Mathematical Institute
Evgeny Zolin
  
14. P(l)aying for synchronization
Mikhail Volkov
February 2, 2012 17:30, Moscow, Steklov Mathematical Institute
Mikhail Volkov
  

February 3, 2012
15. Nonclassical Proofs: theory, applications, and tools
Agata Ciabattoni
February 3, 2012 10:00, Moscow, Steklov Mathematical Institute
Agata Ciabattoni
  
16. Deskolemization, equality and logical complexity
Daniel Weller
February 3, 2012 10:45, Moscow, Steklov Mathematical Institute
Daniel Weller
  
17. Canonical inference
Nachum Dershowitz
February 3, 2012 12:00, Moscow, Steklov Mathematical Institute
Nachum Dershowitz
  
18. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
February 3, 2012 12:45, Moscow, Steklov Mathematical Institute
Aleksei Semenov, Sergei Soprunov
  
19. Grammars based on variants of the Lambek calculus
Stepan Kuznetsov
February 3, 2012 15:30, Moscow, Steklov Mathematical Institute
Stepan Kuznetsov
  
20. First order logic of proofs
Tatiana Yavorskaya
February 3, 2012 16:15, Moscow, Steklov Mathematical Institute
Tatiana Yavorskaya
  
21. Modular construction of cut-free calculi for paraconsistent logics
Anna Zamansky
February 3, 2012 17:30, Moscow, Steklov Mathematical Institute
Anna Zamansky
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017