Faculty of Mathemathics and Computer Sciences - Activities

91 - 100 out of 195Page size: 10

Sort by: Title

Polynomial Computer Algebra '2010
Николай Александрович Вавилов (Participant)
2 Apr 2010 → 7 Apr 2010
Activity: Attendance types › Participating in a conference, workshop, ...
Polynomial Computer Algebra 2009
Николай Александрович Вавилов (Participant)
8 Apr 2009 → 12 Apr 2009
Activity: Attendance types › Participating in a conference, workshop, ...
Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014
Николай Александрович Вавилов (Participant)
21 Apr 2014 → 25 Apr 2014
Activity: Attendance types › Participating in a conference, workshop, ...
Petersburg Motives
Николай Александрович Вавилов (Participant)
2 Sep 2019 → 6 Sep 2019
Activity: Attendance types › Participating in a conference, workshop, ...
Peking University-St. Petersburg Cooperation Workshop
Николай Александрович Вавилов (Participant)
16 Dec 2019 → 20 Dec 2019
Activity: Attendance types › Participating in a conference, workshop, ...
On weight structures and adjacent (compactly generated) t-structures
Михаил Владимирович Бондарко (Speaker)
29 Oct 2019
Activity: Conference talk types › Invited talk
On truth values and logical constants in Belnap–Dunn modal logics
Станислав Олегович Сперанский (Invited speaker)
24 Dec 2018 → 25 Dec 2018
Activity: Conference talk types › Invited talk
On the distribution of the last exit time over a slowly growing boundary for a Gaussian process
Никита Алексеевич Карагодин (Speaker)
30 Aug 2021
Activity: Conference talk types › Invited talk
On the determinization of event-clock input-driven pushdown automata
Александр Сергеевич Охотин (Speaker)
1 Jul 2022
Activity: Conference talk types › Oral presentation
On the computational aspects of Kripke’s theory of truth
Станислав Олегович Сперанский (Invited speaker)
17 Oct 2017 → 20 Oct 2017
Activity: Conference talk types › Invited talk

Previous 1...6 7 8 9 10 11 12 13 ...20 Next

ID: 45528956