Съвместна сбирка на семинара на МЦМН и семинара "Алгебра и Логика" в ИМИ, София, ще се проведе идния вторник, с доклад на Георги Томанов, както следва. Вторник, 29-ти април, 14:00 часа, зала 403 на ИМИ-БАН. Георги Томанов, Université Claude Bernard, Lyon 1. Group action on homogeneous spaces and applications in number theory Abstract: Many longstanding conjectures and problems in number theory can be reformulated in terms of group actions on homogeneous spaces. This reformulation allows them to be tackled using, alongside deep methods from algebra and algebraic geometry, powerful tools from ergodic theory and dynamical systems. An example of the effectiveness of this approach is Margulis's groundbreaking proof of the Oppenheim conjecture (formulated in 1929) concerning the values of quadratic forms at integer points. In [...]

На 16 май 2025 г. (петък) от 13:00 часа в зала 503 на ИМИ и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Grätzer-Schmidt Theorem in arithmetical transfinite recursion ще изнесе Soowhan Yoon (American University in Bulgaria). Abstract: We assess the reverse mathematical strength of the Grätzer-Schmidt theorem (GS) as a principle in second order arithmetic. The theorem GS was studied in an article by Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, and Richard A. Shore, where they establish the provability of GS in Π11 Comprehension (Π11-CA0) and its restrictive variant GSD in arithmetical comprehension (ACA0). It will be shown that the arithmetical transfinite recursion (ATR0) is sufficient to prove [...]

На 6 юни 2025 г. (петък) от 12:30 часа в зала 578 на ИМИ и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Holographic probe branes and artificial neural networks ще изнесе Веселин Филев (ИМИ-БАН). Резюме: In holography, flavour probe branes are used to introduce fundamental matter to the AdS/CFT correspondence. At a technical level, the probes are described by extremizing the DBI action and solving the Lagrange–Euler equations of motion. I will report on applications of artificial neural networks that allow direct minimization of the regularized DBI action (interpreted as a free energy) without the need to derive and solve the equations of motion. I will consider, as examples, magnetic catalysis of chiral [...]

На 25 юли 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Distinctness of the “lifted” Kloosterman sums over the prime field Fp ще изнесе Любомир Борисов (ИМИ-БАН). Резюме Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 3 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Decomposition of Tschirnhausen Modules for Coverings on Decomposable P1-Bundles ще изнесе Христо Илиев (Американски университет в България и ИМИ-БАН). Резюме Линк към zoom-стаята на семинара: Https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Поканват се всички желаещи да присъстват. От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

На 10 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе съвместно заседание на семинара по Алгебра и логика и на семинара на секция "Диференциални уравнения и математическа физика". Доклад на тема On Z5 reduction of soliton equations related to sl(5) algebra  ще изнесе Владимир Герджиков (ИМИ-БАН), съвместна работа с Б. Костадинов (ИМИ-БАН), С. Мишев (НБУ) и А. Стефанов (ФМИ-СУ). Резюме: Recently a new approach to the integrable systems, extending and generalizing the ISM was formulated. It is based on an effective parametrization of the Riemann-Hilbert problem, which allows one to extend the class of Lax pairs and effectively derive only the corresponding NLEE as compatibility condition of two linear problems. This method is based [...]

На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Класически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето ще изнесе Димитър Гелев (ИМИ-БАН). Резюме. Показваме как, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и, като следствие, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и [...]