RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


Международная конференция «Logical Models of Reasoning and Computation»
(01–03 февраля 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, 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

Фотогалерея конференции

Программный комитет
Беклемишев Лев Дмитриевич (председатель)
Baaz Matthias
Gurevich Yuri

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


Международная конференция «Logical Models of Reasoning and Computation», г. Москва, 01–03 февраля 2012 г.

1 февраля 2012 г.
1. Distributed Knowledge Authorization Language (DKAL). Managing Policies and Trust
Yuri Gurevich
1 февраля 2012 г. 10:00, г. Москва, МИАН
Yuri Gurevich
  
2. Dynamic Epistemic Logic
Hans van Ditmarsch
1 февраля 2012 г. 10:45, г. Москва, МИАН
Hans van Ditmarsch
  
3. Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
Nikolaj Bjorner
1 февраля 2012 г. 12:00, г. Москва, МИАН
Nikolaj Bjorner
  
4. Realizing Public Announcements by Justifications
Roman Kuznets
1 февраля 2012 г. 12:45, г. Москва, МИАН
Roman Kuznets
  
5. On a method of proving exact bounds on derivational complexity in length preserving Thue systems
Sergei Adian
1 февраля 2012 г. 15:30, г. Москва, МИАН
Sergei Adian
  
6. Epsilon theorems and non-classical logics
Matthias Baaz
1 февраля 2012 г. 16:15, г. Москва, МИАН
Matthias Baaz
  
7. Types and truth in weak applicative theories
Thomas Strahm
1 февраля 2012 г. 17:30, г. Москва, МИАН
Thomas Strahm
  

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

3 февраля 2012 г.
15. Nonclassical Proofs: theory, applications, and tools
Agata Ciabattoni
3 февраля 2012 г. 10:00, г. Москва, МИАН
Agata Ciabattoni
  
16. Deskolemization, equality and logical complexity
Daniel Weller
3 февраля 2012 г. 10:45, г. Москва, МИАН
Daniel Weller
  
17. Canonical inference
Nachum Dershowitz
3 февраля 2012 г. 12:00, г. Москва, МИАН
Nachum Dershowitz
  
18. The lattice of relational algebras definable in integers with successor
Aleksei Semenov, Sergei Soprunov
3 февраля 2012 г. 12:45, г. Москва, МИАН
Aleksei Semenov, Sergei Soprunov
  
19. Grammars based on variants of the Lambek calculus
Stepan Kuznetsov
3 февраля 2012 г. 15:30, г. Москва, МИАН
Stepan Kuznetsov
  
20. First order logic of proofs
Tatiana Yavorskaya
3 февраля 2012 г. 16:15, г. Москва, МИАН
Tatiana Yavorskaya
  
21. Modular construction of cut-free calculi for paraconsistent logics
Anna Zamansky
3 февраля 2012 г. 17:30, г. Москва, МИАН
Anna Zamansky
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017