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

How widespread are justification logics?
M. Fitting
October 18, 2017 10:00
Workshop on Proof Theory, Modal Logic and Reflection Principles



Diagonal-free proofs of the Diagonal Lemma
S. Salehi
October 18, 2017 10:35
Workshop on Proof Theory, Modal Logic and Reflection Principles



Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
October 18, 2017 11:10
Workshop on Proof Theory, Modal Logic and Reflection Principles



Simplicial semantics of modal predicate logics
V. Shehtman
October 18, 2017 12:15
Workshop on Proof Theory, Modal Logic and Reflection Principles



Systems of propositions referring to each other: a model-theoretic view
D. Saveliev
October 18, 2017 12:50
Workshop on Proof Theory, Modal Logic and Reflection Principles



Kripke completeness of strictly positive modal logics over meet-semilattices with operators
M. Zakharyaschev
October 18, 2017 15:00
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 18, 2017 15:00



On the computational aspects of Kripke's theory of truth
S. Speranski
October 18, 2017 15:35
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 18, 2017 15:35



Models of the compositional truth theory with bounded induction
B. Wcisło
October 18, 2017 16:40
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 18, 2017 16:40



Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$
M. Łełyk
October 18, 2017 17:15
Workshop on Proof Theory, Modal Logic and Reflection Principles

Live broadcast, October 18, 2017 17: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