RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


International conference "Logical Models of Reasoning and Computation"
(May 5–8, 2008, Moscow)

International conference "Logical models of reasoning and computation" will take place at Steklov Mathematical Institute in Moscow, Russia, from 5.05.2008 to 8.05.2008. The conference will cover a variety of topics in theoretical and applied logic centered around the notions of proof and computation.

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

Program Committee
Adian Sergei Ivanovich (Chairman)
Beklemishev Lev Dmitrievich (Vice-chairman)
Baaz Matthias
Parigot Michel
Visser Albert

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019