Conferences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  

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, 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: https://wlc12.mi.ras.ru

Photogallery

Program Committee
Beklemishev Lev Dmitrievich (Chairman)
Baaz Matthias
Gurevich Yuri

Institutions
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 (Wed)
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 (Thu)
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 (Fri)
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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024