CONFERENCE PROGRAM
|
Section 1 Algorithmic Mathematics and Mathematical Modeling |
|||||
|
Date |
Time |
Authors |
Title (abstract) |
Affiliation |
|
|
28.07 |
10.00-11.15 |
Yurii Matiyasevich |
How a computer could discover prime numbers |
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences, St. Petersburg, Russia |
|
|
28.07 |
11:15-12:00 |
Alexander Kulikov |
SAT-based Circuit Local Improvement |
St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences, St. Petersburg, Russia St. Petersburg State University, St. Petersburg, Russia |
|
|
28.07 |
12:00-12:45 |
Sergei Vakulenko Dmitry Grigoriev |
Evolution and responses to stress |
Institute of Problems of Mechanical Engineering, Russian Academy of Sciences, St. Petersburg, Russia St. Petersburg Electrotechnical University, Ulitsa Professora Popova, St. Petersburg, Russia CNRS, University of Lille, Lille, France |
|
|
|
|||||
|
28.07 |
14:00-15:00 |
Nikolai Vavilov |
How computers have changed mathematics (pdf) |
St. Petersburg State University, St. Petersburg, Russia |
|
|
28.07 |
15:15-16:00 |
Danylo Radchenko |
Universal optimality and interpolation formulas |
Swiss Federal Institute of Technology Zürich (ETHZ), Zürich, Switzerland |
|
|
28.07 |
16:00-16:45 |
Vladimir Shpilrain |
Secure delegation of computation to one or more servers |
The City College of New York, New York, United States |
|
|
28.07 |
17.00-17.45 |
Maria Fedorkina Alexander Tiskin |
Implementation of algebraic algorithms for approximate pattern matching on compressed strings |
Higher School of Economics, St. Petersburg School of Physics, Mathematics, and Computer Science, St. Petersburg, Russia St. Petersburg State University, St. Petersburg, Russia |
|
|
28.07 |
10:30-11:00 |
Boris Melnikov Elena Melnikova |
On the classical version of the branch and bound method (pdf) |
Shenzhen MSU – BIT University, Shenzhen, China Russian State Social University, Moscow, Russia Financial University under the Government of the Russian Federation, Moscow, Russia |
|
|
Section 2 Computer tools to support teaching and studying of mathematics and computer science |
|||||
|
Date |
Time |
Authors |
Title (abstract) |
Affiliation |
|
|
29.07 |
10.00-11.00 |
Alexei Semenov |
Is Non-digital School Math Possible in the 21st Century? |
Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow Lomonosov Moscow State University Moscow Institute of Physics and Technology (National Research University) |
|
|
29.07 |
11:00-12:00 |
Discussion |
Computational Thinking |
|
|
|
29.07 |
12:00-12:30 |
Semjon Adlaj |
On the auxiliary role of computer tools in the clarification and proliferation of fundamental geometric constructions |
Federal Research Center “Informatics and Control” Russian Academy of Sciences, Moscow, Russia |
|
|
29.07 |
12:30-13:00 |
Gennadi Malaschonok Alexandr Seliverstov |
New features in MathPartner 2021 |
National University of Kyiv-Mohyla Academy, Kyiv, Ukraine Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow, Russia |
|
|
|
|||||
|
29.07 |
14:00-14:30 |
Pavel Pankov |
Interactive presentation of mathematical objects |
Institute of Mathematics of NAS, Bishkek, Kyrgyzstan |
|
|
29.07 |
14:30-15:00 |
Vladimir Dubrovsky Aleksei Sgibnev |
Dynamic mathematics week by week |
AESC MSU – Kolmogorov boarding school, Moscow, Russia Intellectual School, 13 Kremenchugskaia str., Moscow, Russia |
|
|
29.07 |
15.30-16.00 |
Stefan Hypolite Aleksandr Myllari |
Use Of Computer ALgebra Systems in Teaching Math At SGU |
School of Arts and Sciences, St. George’s University, Grenada, West Indies |
|
|
29.07 |
16.00-16.30 |
Sergei Abramovich |
Using technology with future teachers of primary school mathematics: A glimpse into an american experience |
State University of New York School of Education and Professional Studies, Potsdam, NY, USA |
|
|
29.07 |
16.30-17.00 |
Natalia Lebedeva |
Способы проверки и самопроверки различных типов цифровых заданий по математике для школьников |
1C-Publishing, Moscow, Russia | |
|
30.07 |
12:30-13:00 |
Tatiana Chernetskaya |
Digital exercisers in students training for the Unified State Examin mathematics |
1C Company, Moscow, Russia |
|
29.07 |
17.00-17.30 |
Viktor Freiman |
Exploring connections between mathematics and informatics from mid-1960s to early 1990s: first experiments and continuing innovations in Russian/Soviet schools |
Université de Moncton, Moncton, Canada | |
|
Section 3 Training in algorithmic mathematics and mathematical modeling |
|||||
|
Date |
Time |
Authors |
Title (abstract) |
Affiliation |
|
|
30.07 |
10.00-10.30 |
Sergei Pozdniakov Elena Tolkacheva |
Mathematics in a technical university: the potential of horizontal connections |
St. Petersburg Electrotechnical University "LETI", Russia |
|
|
30.07 |
10.30-11.00 |
Olivier Gasquet Dominique Longin Emiliano Lorini Frederic Maris Pierre Regnier Sergei Soloviev |
TouIST: Teacher- and Student-Friendly Language for Propositional Logic and Discrete Mathematics |
L'Institut de recherche en informatique de Toulouse, Toulouse, France |
|
|
30.07 |
11:00-11:30 |
Anastasia Zhilina Alexei Kanel-Belov |
Алгоритм построения многоугольника |
National Research University Higher School of Economics, Moscow, Russia |
|
|
30.07 |
11:30-12:00 |
Elena Kotova Andrei Pisarev |
Анализ продуктивности решения перцептивно-когнитивных задач в условиях визуальной неопределенности |
St. Petersburg Electrotechnical University "LETI", St. Petersburg, Russia |
|
|
30.07 |
12:00-12:30 |
Sergey Ivanov Valery Ryzhik |
Plus Computer |
St. Petersburg Electrotechnical University "LETI", St. Petersburg, Russia Lyceum "Physical-Technical High School" named after Zh.I. Alferov, St. Petersburg, Russia |
|
|
30.07 |
12.30-13.00 |
Yaroslav Orlov Elizaveta Manzhula Aleksandr Sribniak |
Внешние бильярды вне рациональных трапеций |
CHOU "School" AL ", Tver, Russia. ANOO "Phystech Lyceum" named after P. L. Kapitsa, Dolgoprudny, Russia. MBOU "Gymnasia", Arzamas, Russia. |
|
|
30.07 |
13.00-13.30 |
Filip Rukhovich |
Outer Billiard outside a Regular Dodecagon |
Moscow Institute of Physics and Technology (State University), Dolgoprudnyi, Moscow oblast, Russia | |
|
|
|