На 10 ноември 2023 г. (вторник) от 14:00 часа в зала 478 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема On induced C_4 -free graphs with high average degree ще изнесе Антонио Жирао. Абстракт.  A long-standing conjecture of Thomassen from the 80's states that every graph with sufficiently high average degree contains a subgraph with high girth and still preserving large enough average degree. This conjecture has only been resolved in the early 2000's by Kühn and Osthus in the first non-trivial case i.e. they showed that for every k , there is f(k) such the every graph with average degree at least f(k) contains a subgraph which is C_4 -free with average [...]

На 8 февруари 2024 г. (четвъртък) от 15:00 часа в зала 256 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема  Extremal problems in Euclidean combinatorial geometry ще изнесе доц. д-р Данила Черкашин Абстракт.  I will talk about several problems in the intersection of extremal combinatorics and Euclidean geometry. Recent results on the Steiner tree problem, Gilbert-Steiner problem, and Nelson-Hadwiger problem will be presented. Семинарът може да бъде проследен и на https://meet.jit.si/IMI-MOI-14400

На 2 октомври 2024 г. (сряда) от 14:00 часа в зала 478 на ИМИ-БАН ще се състои поредната сбирка на семинара на секция „Математически основи на информатиката". Доклад на тема Lipschitz Permutations on Certain Graphs ще изнесе Драгомир Грозев. Абстракт

Семинарът по МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА организиран от Секция „Математически основи на информатиката“ към ИМИ - БАН и Факултет „Математика и информатика“ - ВТУ, Ви кани на поредната сбирка на 8 януари 2025 г. от 17:00 часа в зала 401 на корпус 4 на ВТУ, на която Prof. Ferruh Özbudak Sabancı University Faculty of Engineering and Natural Sciences, İstanbul - Turkiye ще изнесе доклад на тема: Generalizing the Bierbrauer—Friedman bound to mixed-level orthogonal arrays (joint work with Denis Krotov and Vladimir Potapov) Abstract: We characterize mixed-level orthogonal arrays it terms of algebraic designs in a special multigraph. We prove a mixed-level analog of the Bierbrauer--Friedman (BF) bound for pure-level orthogonal arrays and show that arrays attaining it are radius-1 completely regular codes (equivalently, intriguing sets, [...]

Семинарът по МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА организиран от Секция „Математически основи на информатиката“ към ИМИ - БАН и Факултет „Математика и информатика“ - ВТУ, Ви кани на поредната сбирка на 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 [...]