BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.16.5.1//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
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:20220909T130000
DTEND;TZID=Europe/Sofia:20220909T143000
DTSTAMP:20220902T111017Z
CREATED:20220902T110036Z
LAST-MODIFIED:20220902T111017Z
UID:12814-1662728400-1662733800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nTiming delays in cyber-physical systems\nще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS\, China). \n\nАбстракт. With the rapid development of feedback control\, sensor techniques and computer control\, time delay has become an essential feature of cyber-physical systems (CPSs)\, underlying both the continuous evolution of physical plants and the discrete transition of computer programs\, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context\, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However\, surprisingly\, they do not\, although time-delay has been extensively studied in the literature of mathematics and control theory from a qualitative perspective. In this talk\, we will report our recent efforts to tackle these issues\, including bounded and unbounded verification of delay differential equations and controller synthesis for time-delayed systems\, and discuss remaining challenges and future trends. \n\n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\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-85/
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:20220916T140000
DTEND;TZID=Europe/Sofia:20220916T153000
DTSTAMP:20220913T134714Z
CREATED:20220913T134714Z
LAST-MODIFIED:20220913T134714Z
UID:12843-1663336800-1663342200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nAlmost Prime Ideal and Almost Prime Radical\nще изнесе Alaa Abouhalaka (Çukurova University\, Adana\, Turkey). \n\nАбстракт. In this talk\, we introduce the concept of almost prime (right) ideals in noncommutative rings and provide some equivalent definitions and new results. Also we introduce the concept of almost prime radical of an ideal. \nReferences:\n[1] M.S. Bhatwadekar\, P. K. Sharma\, Unique factorization and birth of almost primes\, Comm. Algebra\, 33(1)\, 43-49\, (2005). \n[2] W.D. Blair\, H. Tsutsui\, Fully prime rings\, Comm. Algebra\, 22(13)\, 5389-5400\, (1994). \n\n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\n\nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Sep 16\, 2022 02:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647\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-86/
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:20220923T130000
DTEND;TZID=Europe/Sofia:20220923T143000
DTSTAMP:20220918T210622Z
CREATED:20220918T210622Z
LAST-MODIFIED:20220918T210622Z
UID:12846-1663938000-1663943400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nГеометрия и логика в квантовите изчисления\nще изнесе Николай М. Николов (ИЯИЯЕ-БАН). \n\nАбстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория\, която е известна до днес\, като “Квантова логика” (Annals of Mathematics\, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка\, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа\, но има и възможности за по-общи пръстени с деление\, включително некомутативни. След кратко представяне на тези резултати\, ще обсъдя връзките с крайните геометрии и така наречените “квантови изчисления”. \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-87/
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
END:VCALENDAR