На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Timing delays in cyber-physical systems ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Абстракт. 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 […]

На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Almost Prime Ideal and Almost Prime Radical ще изнесе Alaa Abouhalaka (Çukurova University, Adana, Turkey). Абстракт. 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. References: M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: […]

На 19 септември 2022 г. от 14:00 в Заседателната зала на ИМИ - БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката" с доклад на тема On the minimal sum of edges in a signed edge-dominated graph Докладчик ще бъде д-р Данила Черкашин. Абстракт Поканени са всички желаещи.  

На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Геометрия и логика в квантовите изчисления ще изнесе Николай М. Николов (ИЯИЯЕ-БАН). Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като "Квантова логика" (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще […]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 26.09.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Девети конгрес на Световната федерация на националните математически състезания ще изнесе проф. Борислав Лазаров.