Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"

RUS ENG

CONFERENCES

Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
(December 16–18, 2009, Moscow)

Organizers
Beklemishev Lev Dmitrievich
Matiyasevich Yuri Vladimirovich

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences

Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science", Moscow, December 16–18, 2009

Hilbert's tenth problem and the models of computational processes Yu. V. Matiyasevich December 16, 2009 16:05 Moscow
Точная квадратичная оценка длины вывода в одной системе подстановок Туэ S. I. Adian December 16, 2009 17:30 Moscow
Flag algebras A. A. Razborov December 17, 2009 10:30 Moscow
Diophantine coding and generalized Cantor polynomials M. A. Vsemirnov December 17, 2009 11:45 Moscow
Provability algebra and sparse topology L. D. Beklemishev December 17, 2009 12:50 Moscow
Quadratic equations in a free monoid I. G. Lysenok December 18, 2009 10:30 Moscow
Optimal proof systems and algorithms (review) E. A. Hirsch December 18, 2009 12:00 Moscow
On some classes of Boolean schemes of bounded depth V. V. Podolskii December 18, 2009 16:00 Moscow
Structural complexity of probabilistic algorithms for bounded-error D. M. Itsykson December 18, 2009 17:00 Moscow

© Steklov Math. Inst. of RAS, 2024