Семинарът по МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА организиран от Секция „Математически основи на информатиката“ към ИМИ - БАН и Факултет „Математика и информатика“ - ВТУ, Ви кани на поредната сбирка на 3 юли 2025 г. от 14:30 часа в зала 508 на учебен корпус 4 на ВТУ, на която Светослава Минкова магистърска програма „Математически структури в информационната сигурност“ ФМИ, Великотърновски университет ще изнесе доклад на тема: Weisfeiler-Leman алгоритъм и инварианти за изоморфизъм на графи

Следващата сбирка на семинара на секция МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА ще се състои в сряда, 24.07.2025, от 14:00 часа, в зала 403 на ИМИ, на която проф. Марк Айуън ще изнесе доклад на тема: Sparse Spectral Methods for Solving High-Dimensional and Multiscale Elliptic PDEs Проф. Айуън работи в департамента по изчислителна математика в Michigan State University и има широки интереси свързани с обработката на данни и обработката на сигнали. Темата, която предложи за семинара има някои неочаквани връзки с определени шумозащитни кодове. Резюме. In his monograph "Chebyshev and Fourier Spectral Methods", John Boyd claimed that, regarding Fourier spectral methods for solving differential equations, "[t]he virtues of the Fast Fourier Transform will continue to improve as the relentless march to larger and larger [bandwidths] continues" [1, [...]

26 ноември 2025 г., сряда, от 16:00 ч. в Зала 403 на ИМИ - БАН. Съвместно заседание на Семинара на МЦМН и Семинара на секция Математически основи на информатиката Frank Vallentin (Universität zu Köln) Least distortion Euclidean embeddings of flat tori Резюме: In the emerging field of bi-Lipschitz invariant theory, one studies embeddings of orbit spaces H/G (H a Hilbert space, G a subgroup of its automorphisms) into simpler Hilbert spaces via distance-preserving maps up to a constant factor. In this talk, I present an infinite-dimensional semidefinite program that computes least-distortion embeddings of flat tori Rn/L, where L is an n-dimensional lattice, into Hilbert spaces. Using symmetry reduction techniques, this infinite-dimensional semidefinite program reduces to an infinite-dimensional linear program. Even with this simplification, solving the [...]