На 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 на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и, като следствие, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и [...]

На 3 април 2026 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On Pairs of Non-commuting Hermitian Operators on the Unitary Plane which are Permutable Measurements ще изнесе Валентин Илиев (ИМИ-БАН). Резюме. In this presentation we study observables with spectre {-1,1} on quantum systems with the unitary plane as a space of states. Examples of such quantum systems are spin-1/2 particles. We find necessary and sufficient conditions for two non-commuting observables to be permutable measurements, that is, the probability of obtaining a particular pair of results does not depend on the order of taking these measurements. Several examples are presented. Линк към zoom-стаята на семинара: https://us02web.zoom.us/j/88300991142?pwd=wGYl7VaD9RZKEm99sKzHMzl3bYCv3J.1 Поканват се всички желаещи да присъстват. От [...]

На 24 април 2026 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Sets preserved by a large subgroup of the special linear group ще изнесе Калоян Славов (Медицински университет, София). Резюме. The classical Kakeya problem in Euclidean space asks how "small" a set can be if it contains a unit line segment in every direction. More generally, packing sets contain all images of a given set under a collection of transformations. Finite field analogues offer a combinatorial and algebraic perspective and motivate our work. We study sets E in the affine plane over a finite field that are invariant under a large subgroup [...]