Виды деятельности

Круглый стол "Проблемы преподавания математики в технических вузах"

Анна Александровна Кононова (Организатор), , Александр Юрьевич Авдюшенко (Организатор), & С. А. Ягунов (Организатор)

29 фев 2020

Деятельность: Участие в типах событий или организация типов событийОрганизация конференции, заседания рабочей группы, ...

Учёный совет факультета математики и компьютерных наук (Событие)

Сергей Владимирович Иванов (Председатель)

31 окт 2019 → …

Деятельность: Типы членстваЧленство в совете

Modal bilattice logic as the fusion of K with itself

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

19 авг 201923 авг 2019

Деятельность: выступлениевыступление с устной презентацией

Arbitrary natural numbers in the framework of Carnapian quantified modal logic

Станислав Олегович Сперанский (Приглашенный докладчик)

23 мая 201926 мая 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

Dosen-style and Routley-style semantics for negation in a quantified setting

Станислав Олегович Сперанский (Приглашенный докладчик)

28 ноя 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

Modal bilattice logic as the fusion of K with itself

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

19 июн 201921 июн 2019

Деятельность: выступлениевыступление с устной презентацией

A modal framework for reasoning about arbitrary natural numbers

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

4 дек 20198 дек 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

St. Petersburg Days of Logic and Computability IV (dedicated to the 100th anniversary of N.A. Shanin) (Событие)

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

23 мая 201926 мая 2019

Деятельность: Типы членстваЧленство в комитете

On negation as a modal operator in a quantified setting

Станислав Олегович Сперанский (Приглашенный докладчик)

5 ноя 20198 ноя 2019

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

XII International Vilnius Conference on Probability Theory and Mathematical Statistics,Vilnius,

Михаил Анатольевич Лифшиц (Участник)

1 июл 20185 июл 2018

Деятельность: Участие в типах событий или организация типов событийУчастие в конференции, заседании рабочей группы, ...

Logical Perspectives 2018 (Событие)

Станислав Олегович Сперанский (Председатель)

14 мая 201818 мая 2018

Деятельность: Типы членстваЧленство в комитете

Truth constants vs. truth values in Belnap–Dunn modal logics

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

19 ноя 201822 ноя 2018

Деятельность: выступлениевыступление с устной презентацией

On truth values and logical constants in Belnap–Dunn modal logics

Станислав Олегович Сперанский (Приглашенный докладчик)

24 дек 201825 дек 2018

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

On the computational aspects of Kripke’s theory of truth

Станислав Олегович Сперанский (Приглашенный докладчик)

17 окт 201720 окт 2017

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

The 39th Conference on Stochastic Processes and Applications (SPA 2017).

Михаил Анатольевич Лифшиц (Участник)

24 июл 201729 июл 2017

Деятельность: Участие в типах событий или организация типов событийУчастие в конференции, заседании рабочей группы, ...