Steklov Mathematical Institute Seminar
What is Goedel’s Second Incompleteness Theorem? Prof. Dr. Albert Visser October 19, 2017 16:00
Steklov Mathematical Institute Seminar
Workshop on Proof Theory, Modal Logic and Reflection Principles
Iteration in residuated structures S. Kuznetsov October 20, 2017 10:00
Workshop on Proof Theory, Modal Logic and Reflection Principles
Lambek calculus extended with subexponential and bracket modalities A. Scedrov October 20, 2017 10:35
Workshop on Proof Theory, Modal Logic and Reflection Principles
Nonwellfounded proofs for modal Grzegorczyk logic Yu. Savateev October 20, 2017 11:10
Workshop on Proof Theory, Modal Logic and Reflection Principles
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
Solovay’s completeness without fixed points F. Pakhomov October 20, 2017 12:50
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 20, 2017 12:50
$\mathrm{FDE}$Modalities and weak definability (joint work with H. Wansing) S. Odintsov October 20, 2017 15:00
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 20, 2017 15:00
Axiomatic classes of models in modal logics E. Zolin October 20, 2017 15:35
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 20, 2017 15:35
Steklov Mathematical Institute Seminar
What is Goedel’s Second Incompleteness Theorem? Prof. Dr. Albert Visser October 19, 2017 16:00
Steklov Mathematical Institute Seminar
Вокруг неравновесной статистической механики твердых тел, на примере стохастически возмущенной цепочки осцилляторов 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. ColliotThé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
