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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20211203T130000
DTEND;TZID=Europe/Sofia:20211203T140000
DTSTAMP:20260629T085521
CREATED:20211129T230202Z
LAST-MODIFIED:20211129T230202Z
UID:11527-1638536400-1638540000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 3 декември 2021 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”\, на което ще бъдат изнесени два доклада. Заседанието ще се проведе като част от отчетната сесия на секция “Алгебра и логика” за 2021 г. \nОт 13:00 до 13:30 часа доклад на тема \nТеорема за разделянето в интервалната темпорална логика с дискретно време\nще изнесе Димитър Гелев (съвместна работа с Бен Мошковски). \nДокладът ще бъде изнесен на български език с презентация на английски език. \nРезюме: Теоремата за разделянето на Габай за линейната темпорална логика (LTL) с оператори за миналото е доказано един от най-полезните теоретични резултати в темпоралната логика. В този доклад уста-новяваме аналогично твърдение за пропозиционалната интервална темпорална логика (ITL) с дискретно време на Мошковски с два набора разширяващи модалности\, а именно едноместните модал-ности за лява и дясна околност и двуместните слаби обратни на оператора chop на ITL\, които са взаимозаменяеми. Доказваме\, че разделянето е в сила за ITL и със и без нейния оператор за изра-зяване на циклично поведение chop-star. Най-напред даваме кратки предварителни сведения за ITL и LTL\, и за значението на теоремата за разделянето за приложенията\, известни за случая на LTL\, в значителна своя част\, преносими и за новия случай на ITL. \nОт 13:30 до 14:00 часа доклад на тема \nRestricted Quantification in New Type-Theory of Algorithms\nще изнесе Русанка Луканова. \nДокладът ще бъде изнесен на английски език. \nAbstract: In this talk\, I present an extended Type-Theory of Algorithms for restricted computations. The restrictor operator supports algorithmic rules of introduction and elimination\, for each of the existential and universal quantifiers. I define and discuss new rules of existential quantification.\nMy focus is on development of mathematics of Type Theory\, from the perspective of new\, advanced technological applications. I shall point to one of its most important applications for representing semantic underspecification of quantifier scope. \n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Nov 26\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-66/
LOCATION:Zoom
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