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
Live broadcast, October 18, 2017 10:00
Diagonalfree proofs of the Diagonal Lemma S. Salehi October 18, 2017 10:35
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 18, 2017 10:35
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation J. Yu October 18, 2017 11:10
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 18, 2017 11:10
Simplicial semantics of modal predicate logics V. Shehtman October 18, 2017 12:15
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 18, 2017 12:15
Systems of propositions referring to each other: a modeltheoretic view D. Saveliev October 18, 2017 12:50
Workshop on Proof Theory, Modal Logic and Reflection Principles
Live broadcast, October 18, 2017 12:50
Kripke completeness of strictly positive modal logics over meetsemilattices 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. 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
