Сперанский Станислав Олегович

Конференции

• 2025

  V Конференция математических центров России (Красноярск). Доклад: О префиксных фрагментах первопорядковых логик вероятности

• Однодневный семинар по математической логике (на ФКН НИУ ВШЭ) (Москва). Доклад: О сложности теории слабых вероятностных пространств

• Logic Matters 2025 (Москва). Доклад: О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе

• 2024

  Logic at the Interface: Modal Logic and AI (Montpellier). Доклад: Negation as a modality in a quantified setting

• IV Конференция математических центров России (Санкт-Петербург). Доклад: О нижних сложностных оценках в кванторной вероятностной логике

• 2023

  Logic Matters 2023 (Москва). Доклад: Weak arithmetical structures from the viewpoint of monadic second-order logic

• Discrete and Continuous Signals: Analysis, Information and Applications (Санкт-Петербург). Доклад: On the decision problem for quantified probability logic

• Formal Philosophy 2023 (Москва). Доклад: A Carnapian framework for reasoning about arbitrary natural numbers

• 2022

  Logic Matters 2022 (Москва). Доклад: Sharpening complexity results in quantified probability logic

• Computing in Topological Structures: Foundations and Implementations (Сочи). Доклад: Strengthening complexity results in quantified probability logic

• Fourth Workshop on Digitalization and Computable Models (WDCM 2022) (Online). Доклад: Complexity for Kripke's theory of truth

• Лобачевские чтения 2022 (Казань). Доклад: Дистрибутивные решётки в алгебре и логике

• 2021

  SIMC Welcomes Postdocs 2020 (Москва). Доклад: A computational perspective on reasoning about probability spaces

• St. Petersburg Days of Logic and Computability V (Online). Доклад: A constructive interpretation of independence quantifiers

Опыт работы