Цял ден

Национален семинар по теория на кодирането “Проф. Стефан Додунеков”

Гардън Хотел "Света Екатерина", с. Рибарица

Националният семинар с международно участие по Теория на кодирането “Професор Стефан Додунеков” за 2025 г. ще се проведе от 4 до 7 декември в Гардън Хотел Света Екатерина, с. Рибарица. Научната програма ще се проведе на 5 и 6 декември и включва доклади (до 20 минути), представяния на дисертации (до 40 минути) и дискусии. За участие в научната програма моля изпратете заглавие и кратък абстракт (до една страница) на Петър Бойваленков, peter@math.bas.bg и Цонка Байчева, tsonka@math.bas.bg до 23.11.2025 г. Семинарът е и отчетна сесия на секция Математически основи на информатиката към ИМИ-БАН. Таксата за правоучастие е 150 лв. (с включен ДДС). ПРОГРАМА

Международна конференция Recent Developments in Modern Hodge Theory

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

Международна конференция Recent Developments in Modern Hodge Theory 5 - 12 декември 2025 г., зала 403 Конференцията ще разгледа някои нови резултати в съвременната теория на Ходж и свързани с нея теми. Конференцията е организирана от Международния център за математически науки към ИМИ - БАН, IMSA Miami и е подкрепена от фондация Simons. Програма и допълнителна информация можете да откриете на сайта на конференцията: https://icms.bg/workshop-recent-developments-in-modern-hodge-theory/ На 10 и 11 декември сесиите ще се проведат в Зала 256 (Заседателна зала на ИМИ - БАН).

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

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

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

Go to Top