Семинар на МЦМН и съвместно заседание със семинара АГТ

Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., София

Следващото заседание на семинара на МЦМН ще се състои във вторник, 2 декември 2025 г. Доклади ще изнесат Рой Маген от МЦМН и Ливиу Орнеа от Букурещския университет, като вторият доклад е в рамките на съвместно заседание със семинара на секция "Анализ, Геометрия и Топология". Програмата е следната. ICMS Seminar and AGT Seminar Tuesday, December 2nd, room 403 IMI-BAS. 13:00 -- Roy Magen (ICMS, IMI-BAS)  Flavours of homotopy theory 14:00 -- Liviu Ornea (University of Bucarest)  Distinguished non-Kähler metrics on compact complex manifolds Abstract (Magen):    In this talk we will consider different flavours of homotopy theory for different types of geometric contexts. First we will recall the usual definitions of the homotopy category, and equivariant homotopy categories, and we will show how we can think of these in [...]

Семинар по геометрия на МЦМН

Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., София

Имаме удоволствието да обявим лекция на тема SL2 tropicalizations through valuation algebra от Андрей Бенгуш-Ласние (ИМИ-БАН), която ще бъде представена на Семинара по геометрия на МЦМН в сряда, 3 декември 2025 г., от 14:00 часа  в зала 403 и чрез Zoom. Повече подробности можете да намерите тук: https://icms.bg/sl2-tropicalizations-through-valuation-algebra-geometry-seminar-talk-by-andrei-bengus-lasnier/ Връзка към Zoom: https://us02web.zoom.us/j/86186281353?pwd=6CARUygJaA3HiTNAt3norZQRFt8fIL.1

Семинар “Алгебра и логика”

Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., София

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

Семинар на секция ИОВС

Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., София

На 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 [...]

Семинар по приложна математика

Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., София

Следващата сбирка на Семинара по приложна математика ще се проведе на 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 [...]

Go to Top