На 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.12.2025 г. от 14:30 ч. в зала 278. ПРОГРАМА

Следващата сбирка на Семинара по приложна математика ще се проведе на 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 декември (петък) от 9:45 часа в зала 578 на ИМИ-БАН. Programme 9:45 – 10:00 Opening 10:00 – 10:20 Vesselin Drensky: Dihedral invariants of the free associative algebra of rank two (joint results with Silvia Boumova and Şehmus Fındık). 10:20 – 10:50 Tatiana Gateva-Ivanova: Finite idempotent braided sets and their quadratic algebras 10:50 – 11:00 Break 11:00 – 11:20 Emil Kolev: Covering problems 11:20 – 11:40 Ivan Chipchakov: Application of primary tensor product decompositions to the normality question for locally finite-dimensional central division algebras 11:40 – 11:50 Break 11:50 – 12:10 Veselin Filev: Holographic flavour and neural networks 12:10 – 12:30 Elitza Hristova: Tensor products of Lie nilpotent associative algebras 12:30 – [...]