RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


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

December 16, 2009
1. Hilbert's tenth problem and the models of computational processes
Yu. V. Matiyasevich
December 16, 2009 16:05, Moscow
Yu. V. Matiyasevich
  
2. Точная квадратичная оценка длины вывода в одной системе подстановок Туэ
S. I. Adian
December 16, 2009 17:30, Moscow
S. I. Adian
  

December 17, 2009
3. Flag algebras
A. A. Razborov
December 17, 2009 10:30, Moscow
A. A. Razborov
  
4. Diophantine coding and generalized Cantor polynomials
M. A. Vsemirnov
December 17, 2009 11:45, Moscow
M. A. Vsemirnov
  
5. Provability algebra and sparse topology
L. D. Beklemishev
December 17, 2009 12:50, Moscow
L. D. Beklemishev
  

December 18, 2009
6. Quadratic equations in a free monoid
I. G. Lysenok
December 18, 2009 10:30, Moscow
I. G. Lysenok
  
7. Optimal proof systems and algorithms (review)
E. A. Hirsch
December 18, 2009 12:00, Moscow
E. A. Hirsch
  
8. On some classes of Boolean schemes of bounded depth
V. V. Podolskii
December 18, 2009 16:00, Moscow
V. V. Podolskii
  
9. Structural complexity of probabilistic algorithms for bounded-error
D. M. Itsykson
December 18, 2009 17:00, Moscow
D. M. Itsykson
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017