Home page
Home page
Home page
Russian page
English page
Math-Net.Ru | MMS | Web of Science | Scopus | MathSciNet | Zentralblatt MATH | Web-mail 

   
 About the Institute
 Staff publications
 Administration
 Academic Council
 Dissertation Councils
 Departments
Staff 
 Seminars
 Conferences
 Events
 Journals and Books
 In memoriam
 Photogallery
 Library


    Address
8 Gubkina St. Moscow,
119991, Russia
Tel.: +7(495) 984 81 41
Fax: +7(495) 984 81 39
Web site: www.mi.ras.ru
E-mail: steklov@mi.ras.ru

View Map
Directions

   

Workshop on Proof Theory, Modal Logic and Reflection Principles

Relation-changing modal logics: some model and proof theoretic aspects
M. Martel
October 19, 2017 14:00
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 19, 2017 14:00



A calculus for worms
A. Borges
October 19, 2017 14:25
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 19, 2017 14:25



Axiomatizing provable 1-provability
E. Kolmakov
October 19, 2017 14:50
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 19, 2017 14:50



On axiomatization and polytime decidability of strictly positive fragments of some modal logics
M. Svyatlovsky
October 19, 2017 15:15
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 19, 2017 15:15



What is Gödel's second incompleteness theorem?
A. Visser
October 19, 2017 16:00
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 19, 2017 16:00



Iteration in residuated structures
S. Kuznetsov
October 20, 2017 10:00
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 20, 2017 10:00



Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
October 20, 2017 10:35
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 20, 2017 10:35



Non-well-founded proofs for modal Grzegorczyk logic
Yu. Savateev
October 20, 2017 11:10
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 20, 2017 11:10



The second incompleteness theorem revisited
A. Visser
October 20, 2017 12:15
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 20, 2017 12:15




Steklov Mathematical Institute Seminar

What is Goedel’s Second Incompleteness Theorem?
Prof. Dr. Albert Visser
October 19, 2017 16:00
Steklov Mathematical Institute Seminar

Live broadcast, October 19, 2017 16:00




Вокруг неравновесной статистической механики твердых тел, на примере стохастически возмущенной цепочки осцилляторов
A. V. Dymov
September 21, 2017 16:00
Steklov Mathematical Institute Seminar



Об одной модели оптимального экономического роста с возобновляемым ресурсом и примыкающих вопросах теории оптимального управления для задач на бесконечном интервале времени
S. M. Aseev
June 15, 2017 16:00
Steklov Mathematical Institute Seminar




Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences

Rational points on algebraic varieties
J.-L. Colliot-Thélène
October 6, 2017 16:00
Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences



Logic of binomial random graphs
M. E. Zhukovskii
September 7, 2017 16:00
Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences



Forced oscillations and control of an inverted pendulum
I. Yu. Polekhin
May 31, 2017 16:00
Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences







News

 International Conference «Asymptotic Statistics of Stochastic Processes and Applications XI» was held in Peterhof, Saint Petersburg on July 17–21, 2017.

 The 39th Conference on Stochastic Processes and their Applications (SPA2017) was held in Moscow at Hotel Complex «Izmailovo» on July 24–28, 2017.

 Meeting of the Institute's Scientific Staff will be held on June 21, 2017.

 International Conference «Mathematical Theory of Optimal Control» dedicated to the 90th birthday of Academician R. V. Gamkrelidze was held in the Steklov Institute on June 1–2, 2017.

 А.A.Karatsuba's 80th Birthday Conference in Number Theory and Applications was held in the Steklov Institute and Lomonosov Moscow State University on May 22–27, 2017.

 Meeting of the Academic Council of the Institute was held on April 6, 2017.

Archive...

Twitter: @miansteklov...


Home page

© Steklov Mathematical Institute of RAS, 2004–2017