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

На 9 декември 2025 г. (вторник) от 14:15 часа в зала 503 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара на секция „Изследване на операциите, вероятности и статистика“. Доклад на тема: Диференцируеми функции със сюрективни обобщени Якобиани ще изнесе д-р Себастиан Тапия Гарсия от изследователската група по Вариационен анализ, динамика и изследване на операциите на Техническия Университет Виена. Абстракт. In this talk we start with a brief discussion about the possible values that the limiting and Clarke Jacobians can take in the class of differentiable locally Lipschitz functions (defined on finite dimensional spaces). Then, we construct a differentiable locally Lipschitz function f:R^n\to R^m such that, for any nonempty compact connected C \subset R^{n х m} , we can find a point x [...]

Следващата сбирка на Семинара по приложна математика ще се проведе на 10 декември (сряда) от 15:00 в зала 503 на ИМИ-БАН. Докладчик: Giuseppe D'Onofrio (Politecnico di Torino, Италия) Заглавие: ADDITIVE SUBORDINATION OF MULTIPARAMETER MARKOV PROCESSES Резюме: In this talk, we consider multiparameter multidimensional Markov processes that are time-changed by an independent additive subordinator, obtained from a Lévy process by relaxing the condition of stationary increments. By extending Phillips theorem, we show that the resulting process is a Feller evolution and we characterize its generator. We further derive its pseudo-differential representation and show that its symbol admits a Lévy-Khintchine representation. As an application, we consider a factor-based specification for the Ornstein-Uhlenbeck process subordinated by a Sato process. The constructive nature of this process is inspired [...]

Кога и къде: 12.01.2026 г., понеделник, от 14:00 ч. в зала 578 на ИМИ - БАН Докладчик:  Валдемар Цанов (ИМИ - БАН) Заглавие на доклада: Geometry of Milnor fibrations of equivariant plane curves Резюме: The local knot of an irreducible C*-equivariant complex plane curve singularity is a torus knot, and the Milnor fiber is a Seifert surface for this knot. I will describe an explicit universal cover of the Milnor fiber by the hyperbolic plane, using automorphic forms for triangle groups. The characteristic morphism of the Milnor fibration can also be recovered, and used to construct geometric structures by universal covers on the knot complement in the 3-sphere, as well as on the complement of the singular curve in the complex plane.

Дата и място: Вторник, 20.01.2026 г., 13:00 ч., Зала 403, ИМИ - БАН Докладчик: Bogdan Đorđević (Serbian Academy of Arts and Sciences) Заглавие: Applications of Banach algebras and Banach modules to some contemporary analysis problems Abstract: In recent years applied mathematics has experienced a historical progress, blurring the lines between the previously clear research paths and directions. Accordingly, contemporary mathematical analysis is at the verge of unifying seemingly different research areas and topics. With this in mind, I'd like to talk about my humble contribution to this cause: my lecture will concern how Banach algebras and modules, combined with spectral theory, functional calculus, and generalized inverses, help in various problems that emerge in applied mathematics in general: from solving operator and matrix equations, to [...]