BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.16.5.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20221014T130000
DTEND;TZID=Europe/Sofia:20221014T143000
DTSTAMP:20221010T092028Z
CREATED:20221010T092028Z
LAST-MODIFIED:20221010T092028Z
UID:12923-1665752400-1665757800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nСемейства от трилистни накрития на алгебрически криви\nще изнесе Христо Илиев (АУБ и ИМИ – БАН). \n\nАбстракт. Докладът е продължение на предишния ми доклад “Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини”\, който беше представен на 19-ти август\, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове\, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви. \n  \n\n\nСеминарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Oct 14\, 2022 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-88/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20221021T130000
DTEND;TZID=Europe/Sofia:20221021T143000
DTSTAMP:20221018T214539Z
CREATED:20221018T214539Z
LAST-MODIFIED:20221018T214539Z
UID:12983-1666357200-1666362600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nRanks and Presentations for Order-Preserving Transformations with One Fixed Point\nще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). \n\nАбстракт. We consider the semigroup (no monoid) of all order-preserving full transformations α on an n-element chain Xn = {1 < 2 …< n}\, where p is the only fixed point in α\, for some given p ∈Xn\, denoted by On\,p. This semigroup is nilpotent. In particular\, the semigroup On\,1 (i.e. p = 1) is already well studied\, since it is the maximal nilpotent subsemigroup of the Catalan monoid. But the semigroup On\,p is still not well studied for p > 1 except of p = n since On\,n is isomorphic to On\,1. We determine the rank of On\,p (it is Cp-1Cn-p – Cp-2Cn-p-1) and give a presentation of On\,p in (Cn-1 – Cn-2) generators and (1 + Cn-1 – Cn-2)(Cn-1 – Cn-2) relations. We illustrate the result for n = 4. \n  \n\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Oct 21\, 2022 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-89/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20221028T130000
DTEND;TZID=Europe/Sofia:20221028T143000
DTSTAMP:20221025T141256Z
CREATED:20221025T141256Z
LAST-MODIFIED:20221025T141256Z
UID:13021-1666962000-1666967400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nGabbay Separation for the Duration Calculus\nще изнесе Димитър Гелев (ИМИ – БАН). \n\nАбстракт. Gabbay’s separation theorem about linear temporal logic (LTL) with past has proved to be one of the most useful theoretical results in temporal logic. Is expressive power ultimately affected\, if past constructs are not allowed in the scope of future ones\, or vice versa? Separation implies that it does not\, and also provides a technically convenient normal form for temporal conditions. \nInterval Temporal Logic (ITL) and the Duration Calculus (DC) are interval-based logics. Unlike LTL\, they are based on modalities which allow reference to subintervals of the reference intervals only. Adding the neighbourhood modalities\, which are written <A> and <A-1> in the notation stemming from Allen’s system of interval relations\, enables reference outside the reference interval and this way makes temporal separation relevant. In this talk I propose a DC analogue of a separation theorem for discrete time ITL which I established in a joint work with Ben Moszkowski. \nBoth theorems are analogous to Gabbay’s pioneering result and can be spelled out in similar terms\, but the technical differences are significant. I take the opportunity to not repeat my previous talk on separation for ITL and instead discuss some aspects of the proofs for both the ITL and the DC theorems. Interestingly\, these theorems admit proofs that are based on syntactical transformations of the formulas in the respective logics\, and are therefore compositional and very intuitive. I will focus on the common and the distinct features of the proofs\, and on some side corollaries. \n  \n\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Oct 28\, 2022 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-90/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR