BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20251204
DTEND;VALUE=DATE:20251208
DTSTAMP:20260504T143502
CREATED:20250917T135115Z
LAST-MODIFIED:20251202T112416Z
UID:18210-1764806400-1765151999@math.bas.bg
SUMMARY:Национален семинар по теория на кодирането "Проф. Стефан Додунеков"
DESCRIPTION:Националният семинар с международно участие по Теория на кодирането\n“Професор Стефан Додунеков” \nза 2025 г. ще се проведе от 4 до 7 декември в Гардън Хотел Света Екатерина\, с. Рибарица. \nНаучната програма ще се проведе на 5 и 6 декември и включва доклади (до 20 минути)\, представяния на дисертации (до 40 минути) и дискусии. \nЗа участие в научната програма моля изпратете заглавие и кратък абстракт (до една страница) на Петър Бойваленков\, peter@math.bas.bg и Цонка Байчева\, tsonka@math.bas.bg до 23.11.2025 г. \nСеминарът е и отчетна сесия на секция Математически основи на информатиката към ИМИ-БАН. \nТаксата за правоучастие е 150 лв. (с включен ДДС). \nПРОГРАМА
URL:https://math.bas.bg/event/%d0%bd%d0%b0%d1%86%d0%b8%d0%be%d0%bd%d0%b0%d0%bb%d0%b5%d0%bd-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%bf%d0%be-%d1%82%d0%b5%d0%be%d1%80%d0%b8%d1%8f-%d0%bd%d0%b0-%d0%ba%d0%be%d0%b4%d0%b8%d1%80-5/
LOCATION:Гардън Хотел “Света Екатерина”\, с. Рибарица\, Bulgaria
CATEGORIES:Конференция,Работен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20251205
DTEND;VALUE=DATE:20251213
DTSTAMP:20260504T143502
CREATED:20251210T101728Z
LAST-MODIFIED:20251210T102149Z
UID:18688-1764892800-1765583999@math.bas.bg
SUMMARY:Международна конференция Recent Developments in Modern Hodge Theory
DESCRIPTION:Международна конференция Recent Developments in Modern Hodge Theory \n5 – 12 декември 2025 г.\, зала 403 \n\n\n\n\n\nКонференцията ще разгледа някои нови резултати в съвременната теория на Ходж и свързани с нея теми. \nКонференцията е организирана от Международния център за математически науки към ИМИ – БАН\, IMSA Miami и е подкрепена от фондация Simons. \nПрограма и допълнителна информация можете да откриете на сайта на конференцията:\nhttps://icms.bg/workshop-recent-developments-in-modern-hodge-theory/ \nНа 10 и 11 декември сесиите ще се проведат в Зала 256 (Заседателна зала на ИМИ – БАН).
URL:https://math.bas.bg/event/%d0%bc%d0%b5%d0%b6%d0%b4%d1%83%d0%bd%d0%b0%d1%80%d0%be%d0%b4%d0%bd%d0%b0-%d0%ba%d0%be%d0%bd%d1%84%d0%b5%d1%80%d0%b5%d0%bd%d1%86%d0%b8%d1%8f-recent-developments-in-modern-hodge-theory/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Конференция
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20251205T130000
DTEND;TZID=Europe/Sofia:20251205T143000
DTSTAMP:20260504T143502
CREATED:20251202T111458Z
LAST-MODIFIED:20251202T111458Z
UID:18631-1764939600-1764945000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom\nще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nКласически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето\nще изнесе \nДимитър Гелев (ИМИ-БАН).\nРезюме. Показваме как\, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL\, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и\, като следствие\, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и теоремите на Крейг и Бет са технически нови за интервалната темпорална логика\, и казаните кратки доказателства са и първите им доказателства\, но всичките резултати са с утвърдено предварително известно приложение\, и в по-прости темпорални логики и вън от темпоралната логика. \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\n\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-124/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR