|
Seminar calendar
|
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023), Novosibirsk |
|
|
December 23, 2024 (Mon) |
|
1. |
Соревнование по формальной верификации программ VeHa-2024: два года большого пути D. A. Kondrat'ev December 23, 2024 08:40, Novosibirsk, A.P. Ershov Institute of Informatics Systems
|
|
|
|
|
V. I. Smirnov Seminar on Mathematical Physics, St. Petersburg |
|
|
December 23, 2024 (Mon) |
|
2. |
Analytical and spectral properties of functional-difference (FD) equations and the generalized Jost problem M. A. Lyalinov December 23, 2024 15:00, St. Petersburg, PDMI, room 311, zoom online-conference
|
|
|
|
|
Seminar by I. Ya. Aref'eva "Perspective directions in quantum field theory and superstrings", Moscow, February 3, 2020–December 23, 2024 |
|
3. |
Итоги года I. Ya. Aref'eva December 23, 2024 16:00, Moscow, Steklov Mathematical Institute, Room 303 (8 Gubkina)
|
|
|
|
|
Seminars
"Proof Theory" and "Logic Online Seminar", Moscow |
|
|
December 23, 2024 (Mon) |
|
4. |
Relational models for the Lambek calculus with the local contraction subexponential M. V. Valinkin, S. L. Kuznetsov December 23, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + online
|
|
|
|
|
Seminar on Complex Analysis (Gonchar Seminar), Moscow |
|
5. |
Distribution of eigenvalues of normal random matrices (continuation) A. I. Aptekarev December 23, 2024 17:00, Moscow, Steklov Institute, room 110
|
|
|
|
|
Geometric Topology Seminar, Moscow |
|
|
December 23, 2024 (Mon) |
|
6. |
On the geometry of the Alexander polynomial II S. A. Melikhov December 23, 2024 17:20, Moscow, Steklov Math Institute (8 Gubkina st.), room 430 + Kontur Talk
|
|
|
|
|
|