На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal Descriptive Complexity ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. The study of the descriptive complexity of a class of structures S relative to a class of formulae F from a logic L revolves around the question: what can we say about the definability of S with formulae from F? For example, we might want to know whether there is a formula from F defining S or, if not, whether there is a countably infinite sequence of F-formulae such that each formula from the sequence defines a subset of S and the union of all these subsets is the whole [...]

На 19 август 2022 г. (петък) от 13:00 ч. в зала 578 на ИМИ - БАН ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Examples of non-reduced components of the Hilbert Scheme of smooth projective curves using ruled surfaces ще изнесе Христо Илиев (АУБ и ИМИ-БАН). Абстракт. Let Id,g,r be the union of irreducible components of the Hilbert scheme whose general points represent smooth irreducible non-degenerate curves of degree d and genus g in Pr. Using a family of curves found on ruled surfaces over smooth curves of genus γ, we show that for γ ≥ 7 and g ≥ 6γ+5 the scheme I2g−4γ+1,g,g−3γ+1 acquires a non-reduced component D′ such that dim T[X′]D′ = dimD′ + 1 for [...]

На 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: [1] M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). [2] W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: [...]

На 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 на ИМИ. Доклад на тема Девети конгрес на Световната федерация на националните математически състезания ще изнесе проф. Борислав Лазаров.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 03.10.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Математическо моделиране и компютърни симулации на задачи от физиката на джозефсоновите контакти ще изнесе д-р Стефани Панайотова, Пловдивски университет.

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 10.10.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Рекурентни редици и приложенията им в задачи по вероятности – из преподавателската практика в Американския колеж – София ще изнесе гл. ас. д-р Борислава Виденова.

На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”. Доклад на тема: Семейства от трилистни накрития на алгебрически криви ще изнесе Христо Илиев (АУБ и ИМИ - БАН). Абстракт. Докладът е продължение на предишния ми доклад "Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини", който беше представен на 19-ти август, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви.   Семинарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара: [...]

На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point ще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). Абстракт. 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 [...]

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

На 25 октомври 2022 (вторник) от 14.00 в зала 503 на ИМИ ще се проведе присъствено заседание на общия семинар на секция „Изследване на операциите, вероятности и статистика”. Доклад на тема: Value-at-Risk, Expected Shortfall, и рискова мярка основана на експектил ще изнесе Драгомир Неделчев, докторант към секцията. Абстракт. Динамиката на финансовите пазари поставя на изпитание начините, по които се измерва пазарния риск. Затова, пазарните участници и регулаторните органи (напр. Базелския комитет за банков надзор) преосмислят и подобряват използваната рискова мярка. Заинтересованите страни търсят споделено разбиране за предимствата / недостатъците на съществуващите рискови мярки и така се преминава към нови мярки. Традиционно пазарният риск се измерва чрез Value-at-Risk (VaR). Макар че тази мярка има своите предимства, тя не отговаря на някои изисквания за кохерентност. Expected Shortfall (ES) [...]

На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Gabbay Separation for the Duration Calculus ще изнесе Димитър Гелев (ИМИ - БАН). Абстракт. 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. Interval 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 [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои на 2 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Полихармонични оператори, гранични задачи и някои приложения в математическата физика ще изнесе акад. Петър Попиванов, Институт по математика и информатика, Българска академия на науките. Докладът се посвещава на Международната година на фундаменталните науки за устойчиво развитие. Абстракт   Поканват сe всички интересуващи се.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 07.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Математическо моделиране на биопроцеси с използването на производни от дробен ред ще изнесе Владимира Суванджиева (докторантка към секция ММЧА), в който ще представи резултати от дипломната си работа. Резюме: В дипломната работа са разгледани две актуални теми: математическо моделиране на биопроцеси (по-специално, биореактор) и работата с производни от дробен ред. Оказва се, че заменянето на производните от целочислен ред в някои от вече добре познати модели, описващи биопроцеси, с производни от дробен ред, има смисъл с оглед на редица експериментални данни. От друга страна, специфичната структура на такъв тип производни се [...]

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

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 8 ноември 2022 г. от 13:30 часа в зала 478 на ИМИ - БАН. Доклад на тема: Surfaces Associated with Pascal and Catalan Triangles ще изнесат Leonard DAUS1, Marilena JIANU1 and Adela MIHAI1,2 1 Technical University of Civil Engineering Bucharest, Romania 2 Transilvania University of Brasov, Romania. Поканват се всички интересуващи се. Резюме. An open problem in reliability theory is that of finding all the coefficients of the reliability polynomial associated with particular networks. Because reliability polynomials can be expressed in Bernstein form (hence linked to binomial coefficients), it is clear that an extension of the classical discrete Pascal’s triangle (comprising all the binomial coefficients) to a continuous version [...]

Националният семинар по Теория на кодирането е основан през 80-те години на 20. век от акад. Стефан Додунеков и оттогава се провежда ежегодно в края на годината. От 2014 година насам семинарът носи и името на акад. Додунеков, който е директор на ИМИ от 1999 до 2012 година и председател на Съюза на математиците в България от 2001 до 2012 г.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 15 ноември 2022 г. от 11:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Zener model with General fractional calculus: Thermodynamical Restrictions ще изнесат Teodor M. Atanackovic и Stevan Pilipovic, Serbian Academy of Sciences and Arts and University of Novi Sad, Serbia. Поканват се всички интересуващи се. Резюме. We study a Zener type model of viscoelastic body within the context of general fractional calculus and derive restrictions on coefficients that follow from the dissipation inequality that is, the entropy inequality under isothermal conditions. We show, for a stress relaxation and a wave propagation, that the restrictions that follow from the entropy inequality are sufficient to guarantee the existence and uniqueness [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Сто и шестдесетата сбирка на Колоквиума ще се състои хибридно на 16 ноември 2022 г. (сряда) от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Контрапримери, парадокси и сюрпризи в математиката ще изнесе Йордан Стоянов, Институт по математика и информатика, Българска академия на науките и Shandong University, Jinan, P. R. China. Поканват сe всички интересуващи се. Join Zoom Meeting https://us02web.zoom.us/j/81214695960?pwd=cml0Yi9sYmRacUhERXdnQVhCWC9Tdz09 Meeting ID: 812 1469 5960 Passcode: 187153 Абстракт: Във всяка област от математиката се изучават специфични обекти и съгласно приети правила се изгражда теория, доказват се твърдения, теореми, леми, дават се примери. Има обаче още една група от твърдения, да я наречем CPS (контрапримери, [...]

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

На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Logic Operators and Quantifiers in Type-Theory of Algorithms ще изнесе Русанка Луканова (ИМИ - БАН). Абстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction, disjunction, implication, and negation. I extend the formal language of LR by state-dependent quantifiers, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms, for reductions of LR terms to their canonical forms. [...]

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 28.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Числено решаване на двумерното стационарно парадигматично уравнение на Бусинеск ще изнесе Красимир Ангелов, в който ще представи резултати от дисертационния си труд.  

На 2 декември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Derivations of upper triangular matrix rings vs Derivations of upper triangular matrix semirings ще изнесе Димитринка Владева. Абстракт. The motivation for this talk is the problem how to represent a derivation of a matrix ring and of an additively idempotent matrix semiring as a sum of well-known derivations. The results of two of my articles, published in 2022, will be compared and we will draw conclusions about the advantages and disadvantages of these results. We begin by considering the nature of derivations of triangular matrices over an additively idempotent semiring R generated by left and right semicentral idempotents. Then we construct [...]

Втората сбирка на новоучредения Семинар по приложна математика, който е част от дейностите на програма ПИКОМ, ще се състои на 07.12.2022 от 15:00 в Заседателната зала на ИМИ. Доклад на тема: Introduction to Steiner Trees ще изнесе д-р Данила Черкашин, пост-докторант в ИМИ - БАН.  Фейсбук страница на семинара: Семинар по Приложна математика

На 9 декември 2022 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. От 13:00 до 14:00 часа доклад на тема: AdS/CFT съответствие, Метрополис-Хастингс алгортъм и GAN невронни мрежи ще изнесе Веселин Филев. Абстракт. Ще докладвам за скорошна публикация по конструира-нето на D0/D4 пространство-време. Ще дискутирам значението на това изследване в AdS/CFT съответствието и симулирането на матричния модел на Беркуз-Дъглас. Във втората част на доклада ще дискутирам алгоритъма на Метрополис-Хастингс и ще докладвам възможни приложения на GAN невронни мрежи в симулацията на трудни в изчислително отношение матрични модели. От 14:00 до 14:45 часа доклад на тема: Hitchin base: Seiberg-Witten differentials and their derivatives ще изнесе Петър Далаков (АУБ и ИМИ-БАН). Абстракт. We consider a [...]

Годишната отчетна  сесия на секция „Математическо моделиране и числен анализ“ ще се проведе на 12.12.2022 от 9:30 в зала 403 на ИМИ. Програма 9:30-9:50 Камен Иванов, The problem for Downward Continuation. 9:50-10:10 Илия Илиев, Гранични цикли в осцилатор на Релей-Лиенар. 10:10-10:30 Евгения Попова, Regularity radius for matrices with rank-one interval parameters. 10:30-10:45 Кафе-пауза 10:45-11:05 Мая Минчева, Delay stability of reaction networks. 11:05-11:25 Петър Рашков,  Задача за оптимално бързо действие в епидемичен модел на векторно-предавана болест с ограничения на управлението. 11:25-11:45 Милен Борисов, Светослав Марков, The Exponential Decay and Outbreak Functions: Analysis and Numerical Simulation. 11:45-12:00 Пауза 12:00-12:20 Иван Бажлеков, Generalized fractional bioreaction model and numerical approach. 12:20-12:40 Михаил Кръстанов, On the Euler equation. 12:40-13:00 Станислав Харизанов,  Efficient Quadratic Programming via square-root-matrix approximation.

Oтчетната сесия на Международния център по математически науки (МЦМН ще се проведе на 12.12. 2022 г. от 14:00 часа в зала 403 на ИМИ-БАН. Програма 14:00-14:20 Олег Мушкаров, Дейности на МЦМН през 2022 г. 14:20-14:40 Rodolfo Aguilar, The nilpotent quotients of quasi-Kähler manifolds with proper quasi-albanese map 14:40-15:00 Антони Рангачев, Fujita-type theorem for the local volume of a line bundle 15:00 -15:10 Почивка 15:10 -15:30 Andrei Bengus-Lasnier, Geometric and combinatorial interpretations for valuations 15:30 - 15:50 Марин Генов, On the Jacobian conjecture in characteristic 0 for certain polynomial maps of degree 2 and 3 15:50 - 16:00 Почивка. 16:00 - 16:20 Sebastien Torres, Semiorthogonal decompositions on moduli spaces 16:20 - 16:40 Данила Черкашин, On stability of the spanning trees enumerator 16:40 - 17:00 Димитър Коджабашев, Picard [...]

Годишната отчетна сесия на ВНЗ "Информационно моделиране" ще се проведе на 13.12.2022 г., вторник, от 9 ч. в зала 503 на ИМИ-БАН. ПРОГРАМА Zoom линк, ако не можете да присъствате: Topic: Годишната отчетна сесия  на ВНЗ "Информационно моделиране" Time: Dec 13, 2022 09:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/86405941298?pwd=NEQreG9jc1BrOVRHeCsvVzZ3MHZkUT09 Meeting ID: 864 0594 1298 Passcode: 222430

Годишната отчетна сесия на секция "Софтуерни технологии и информационни системи" ще се състои на 13-ти декември, вторник, от 10.00 ч. в зала 278 на Института. Сесията ще се предава онлайн  (Zoom ID: 824 0371 8724, Passcode: 252058 ) и e отворена и за гости, заинтересовани от разнообразните тематики в програмата. ПРОГРАМА

Отчетната сесия на секция "Алгебра и логика" за 2022 г. ще се проведе в хибриден формат в зала 578 на ИМИ-БАН и по Zoom на 16 декември 2022 г. oт 9:55 часа. Прoграмата на сесията е дадена по-долу и в прикачения файл. Линк към Zoom-стаята на сесията: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  ======================== Програма 09:55 – 10:00 Откриване 10:00 – 10:30 Веселин Дренски: Теория на инвариантите на свободните бикомутативни алгебри (Invariant theory of free bicommutative algebras) 10:30 – 11:00 Иван Чипчаков: Алгебрични тела над хензелеви полета с крайни абсолютни p-размерности на Брауер 11:00 – 11:30 Христо Илиев: Много плоски семейства от алгебрични многообразия и криви върху конуси (Very flat families of algebraic varieties and curves on cones) 11:30 – 11:40 Пауза 11:40 – 12:10 Елица Христова: Описание на [...]

Годишната отчетна сесия на секция „Изследване на операците, вероятности и статистика“ ще се проведе на 20.12.2022 г. (вторник) от 10:00 ч. в зала 503 на ИМИ-БАН. ПРОГРАМА

Годишната отчетна сесия на секция „Анализ, геометрия и топология“  ще се проведе на 20.12.2022г. (вторник) от 11:30 ч. в зала 478 на ИМИ-БАН.   ПРОГРАМА

Годишната отчетна сесия на секция „Математическа лингвистика“ ще се проведе на 20.12.2022 г. (вторник) от 13:00 ч. в зала 278 на ИМИ-БАН. ПРОГРАМА

На 21.12.2022г. от 13 ч. в стая 478 на ИМИ ще се проведе присъствено Отчетната сесия на секция ДУМФ. Поканват се всички интересуващи се. ПРОГРАМА Отчетната сесия ще бъде достъпна и в Зуум стая Join Zoom Meeting https://us02web.zoom.us/j/85112407201?pwd=RHZocFk0NjV2R003UWJEZzVxMXdGUT09 Meeting ID: 851 1240 7201 Passcode: 783002

На 05.01.2023 г. (четвъртък), 15:00 в зала 403 на ИМИ ще се състои съвместен семинар на секциите Математическо моделиране и числен анализ и Математически основи на информатиката. Доклад на тема  Universal extrema of potentials of certain classes of spherical designs ще изнесе проф. Сергей Бородачьов, Towson University. Abstract: We will discuss known results and our work on locations of absolute minima and maxima of the total potential of N points located on a higher-dimensional sphere that form a spherical design of the highest (in some sense) strength. The potential is a completely monotone function of the Euclidean distance squared. These results apply to a quite extensive list of particular spherical configurations. For power-law potentials and vertices of a regular polygon, regular simplex, cube, and [...]

На 11.01.2023 г. от 14:00 часа ще се проведе семинар по Приложения на диференциалните уравнения в науките към Института по математика и информатика с лектор академик Петър Попиванов на тема: ЯВНИ ФОРМУЛИ И ГРАФИЧЕН ПОРТРЕТ НА РЕШЕНИЯТА НА КЛАСОВЕ ОДУ ОТ ПЪРВИ РЕД В ОКОЛНОСТ НА ОСОБЕНА ТОЧКА. ТЕОРЕМА НА ДАВИДОВ  Резюме. В този доклад се коментира една известно теорема на Давидов и се прилагат явни формули за решенията на диференциални уравнения зададени като нули на квадратичен диференциал. Работи се в околността на особена точка. Възможно приложение е в канонизацията на линейни ЧДУ от втори ред. По този начин се изучават и техните особености в хиперболичния случай. Join Zoom Meeting: https://us02web.zoom.us/j/2013612941?pwd=cGFvdWJJTTAvRmJzRWtzMHlZWEIvUT09 Meeting ID: 201 361 2941 Passcode: 6VeNEq Поканват се всички интересуващи се.

На 13 януари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Отчет за работата по докторантурата на Димитър Добрев на тема "Изкуствен интелект – дефиниция, реализация и последствия" ще изнесе Димитър Добрев. Абстракт. В основата на дисертацията са езиците за описание на светове. Тези езици описват класове от функции като изчислимите функции и някои разширения на този клас. При помощта на език за описание на светове дефинираме ИИ и създаваме програма, която твърдим, че удовлетворява тази дефиниция. Тази програма е чисто теоретична, защото тя е толкова неефективна, че на практика е неизползваема. Изказваме предположението, че с подходящ език за описание на светове може да се направи ефективна програма, която да удовлетвори дефиницията [...]

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

Във вторник от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на МЦМН и секция МОИ. Доклад на тема: Линейни и циклични кодове над пръстени ще изнесе д-р Мариам Бажалан, която започва постдокторантура в ИМИ-БАН по програма ПИКОМ. Abstract: The study of codes over the rings (ring-linear codes) attracted great interest after the work of Calderbank, Hammons, Kumar, Sloane, and Sole in the early 1990s. In this seminar, the basic theory of linear codes over finite commutative rings will be presented including the importance of codes over rings, various kinds of rings for ring-linear coding theory, the weight functions on finite rings, MacWilliams equivalence theorem and the connection between these codes and codes over fields via the Gray maps. Moreover, the cyclic codes [...]

На 31 януари 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн ще се проведе поредната лекция на възстановения семинар на с. СофТИС с лектор д-р Тодор Брънзов на тема Value Based Healthcare (VBHC) - проблеми в полето на информатиката. Поканват се всички заинтересовани, http://meet.jit.si/

Във вторник, 31.01.2023 г., от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на МЦМН и секция МОИ. Доклад на тема: Върху оптимално пакетиране на кълба на Минковски и приложения ще изнесе проф. Николай Глазунов (ИМИ-БАН, Институт по Кибернетика, Киев). Abstract: We investigate lattice packings of Minkowski balls and domains. By results of the proof of Minkowski conjecture about the critical determinant we divide the balls and domains on 3 classes: Minkowski, Davis and Chebyshev-Cohn. The optimal lattice packings of the balls and domains are obtained. The minimum areas of hexagons inscribed in the balls and domains and circumscribed around them are given. These results lead to algebro-geometric structures in the framework of Pontrjagin duality theory.

Българското статистическо дружество (БСД) и Национален семинар по стохастика (НСС) ще проведат общ семинар на 01.02.2023 г. от 15:00 в зала 503 на ИМИ-БАН. Кога: Сряда, 01 Февруари 2023 г., 15:00 ч Къде: Присъствено, в зала 503,  ИМИ – БАН. Join Zoom Meeting https://us02web.zoom.us/j/89261668021?pwd=OStXRmpFOVNTaEJvOThpRXUvOUpBQT09 Докладчик: Йордан М. Стоянов  (ИМИ - БАН, Shandong University, China) Тема:  Вероятност и статистика в България през последните 50-ина години Резюме: Въз основа на мои запазени записки, снимки, спомени, и разговори с колеги, ще опиша  в хронологичен ред своето су(о)бективно виждане за съществени факти и моменти в развитието на стохастиката у нас от 1970 г. до наши дни. Този доклад e продължение на доклади/работи по темата на Н. Янев, М. Божкова, П. Матеев. Апелът е и към други колеги също да подготвят и [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 06.02.2023 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Онлайн състезание VIVA Математика с компютър ще изнесат акад. Петър Кендеров, проф. Тони Чехларова и гл. ас. Георги Гачев.

На 7 февруари 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн на адрес https://meet.jit.si/IMI-SofTIS ще се проведе поредната лекция на семинара на секция СофТИС. Доклад на тема Style Accessory Occlusion using CGAN with Paired Data ще изнесе доц. Александър Илиев. Поканват се всички заинтересовани,

На 10 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A New Approach to the Characteristic Polynomial of a Random Unitary Matrix ще изнесе Yacine Barhoumi-Andréani (Ruhr-Universität Bochum, Germany). Абстракт. The characteristic polynomial of a random (Haar-distributed) unitary matrix is considered as an interesting toy model for the probabilistic study of the Riemann Zeta function. We will recall the history of the topic starting with the Montgommery-Dyson correspondance, the Keating-Snaith moments conjecture and some recent developments on other functionals. We will then give a conceptual comparison of some of the techniques used in the field and a zoo of results one can achieve, with a particular focus on a recent technique [...]

Във вторник, 14.02.2023 г., от 15:00 часа в зала 403 ще състои съвместна сбирка на семинарите на Международния център за математически науки и секция "Анализ, геометрия и топология". Доклад на тема: Jordan algebra conformal toolbox ще изнесе доц. Тодор Попов (ИЯИЯЕ-БАН, АУБГ). Abstract

A New Walk on Equations Monte Carlo Method for Linear Algebraic Problems Лектор: проф. Иван Димов Час: 16:00 Дата: 14.02.2023 Място: Зала 503 на ИМИ-БАН Резюме: A new Walk on Equations (WE) Monte Carlo algorithm for Linear Algebra (LA) problem, namely, functionals of the solution, eigenvalue problems, etc., is proposed and studied. This algorithm relies on a non-discounted sum of an absorbed random walk. It can be applied for either real or complex matrices. Several techniques like simultaneous scoring or the sequential Monte Carlo method are applied to improve the basic algorithm. Numerical tests are performed on examples with matrices of different size and on systems coming from various important applications. Comparisons with standard deterministic, including unimprovable Conjugate Gradient Method (CGM) or Monte Carlo [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 15 февруари 2023 г. (сряда) от 14:00 часа в зала 403 на ИМИ - БАН. Доклад на тема The Disorder Problem. A POMDP approach ще изнесе Дончо Дончев (ФМИ - СУ). Абстракт: We revisit the discrete time disorder problem. The classical approach to it is based on optimal stopping rules and martingale techniques. We include it into the framework of Partially Observable Markov Decision Processes which improves the quality of detection, and allows, in some cases, to find solutions to Bellman's equation.

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА ​Поредната сбирка на Колоквиума ще се състои на 15 февруари 2023 г. (сряда)  от 16:15 часа в Заседателната зала на ИМИ - БАН. Доклад на тема: Хипотезата на Голдберг ще изнесе акад. Олег Мушкаров, Институт по матем​атика и информатика, Българска академия на науките. ​Резюме: През 1969 г. С. Голдберг изказва хипотезата, че всяка Айнщайнова симплектична структура върху компактно многообразие е Келер-Айнщайнова. Тази хипотеза все още не е доказана и в доклада ще бъде направен обзор на най-важните резултати в тази насока. Ще бъдат разгледани и някои свързани отворени въпроси, които дават нови насоки за развитие на почти Ермитовата геометрия. Сбирката се посвещава на: 50-годишнината на Националния колоквиум по [...]

На 17 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Invariant theory for reductive subgroups of reductive groups ще изнесе Валдемар Цанов (ИМИ-БАН). Абстракт. Let H ⸦ G be an embedding of connected complex reductive linear algebraic groups. A classical question with several important interpretations is: which irreducible G-modules contain nonzero H-invariant vectors? An approach based on the Geometric Invariant Theory of Hilbert-Mumford was developed in works of Heckman, Berenstein-Sjamaar, Belkale-Kumar and Ressayre, culminating in a description of the generalized Littlewood-Richadson cone - the convex hull of set of the highest weights of the G-modules containing H-invariants. The discrepancy between the convex hull and the actual set of weights presents the [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 20.02.2023 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема Подбор на задачи за Националната олимпиада по математика за 4. - 7 . клас ще изнесе Невена Събева-Колева.

Във вторник, 21.02.2023 г., от 14:00 часа в зала 403 ще състои съвместна сбирка на семинарите на Международния център за математически науки и секция "Анализ, геометрия и топология". Доклад на тема: Variations of GIT-quotients of flag varieties ще изнесе д-р Валдемар Цанов (ИМИ-БАН). Abstract

На 21 февруари 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн на адрес https://meet.jit.si/IMI-SofTIS ще се проведе поредната лекция на семинара на секция СофТИС. Доклад на тема Алгебричните средства на евклидовата геометрия – практическа гледна точка ще изнесе доц. Бойко Банчев. Поканват се всички заинтересовани,

На 24 февруари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Real Hamiltonian forms of affine Toda field theories: spectral aspects ще изнесе Владимир Герджиков (съвместна работа с Г. Г. Граховски и А. А. Стефанов). Абстракт. The talk is devoted to real Hamiltonian forms of 2-dimensional Toda field theories related to exceptional simple Lie algebras, and to the spectral theory of the associated Lax operators. Real Hamiltonian forms are a special type of reductions of Hamiltonian systems, similar to real forms of semisimple Lie algebras. The real Hamiltonian forms of affine Toda field theories related to exceptional complex untwisted affine Kac - Moody algebras are studied. Along with the associated Lax representations, [...]

Във вторник, 28.02.2023 г., от 14:00 часа в зала 403 ще състои поредната сбирка на семинара на Международния център за математически науки. Доклад на тема: Горенщайнови пръстени в стабилната хомотопна теория ще изнесе д-р Димитър Коджабашев (ИМИ-БАН). Абстракт. I will discuss a generalization, due to Dwyer, Greenlees and Iyengar, of the notion of a Gorenstein ring from commutative algebra to the algebra of ring spectra. I will illustrate the concept with classical examples from stable homotopy theory as well as more exotic ones coming from derived algebraic geometry, namely the ring spectra of topological modular forms with level structure. Time permitting, I will discuss how things generalize equivariantly in the presence of a group action.

Поредната сбирка на Националния семинар по стохастика ще се проведе на 1 март 2023 г. (сряда) от 14:00 часа в зала 403 на ИМИ - БАН. Доклад на тема The inverse first-passage time problem for Brownian motion ще изнесе Александер Клумп (постдокторант (DAAD) в ИМИ-БАН). Абстракт: Given a fixed probability distribution on the positive real numbers, the inverse first-passage time problem is to find a time-varying boundary such that the first-passage time by a Brownian motion over that boundary has the fixed distribution. The aim of this talk is to give an overview of the existing literature, which is concerned with existence, uniqueness and properties of solutions, as well as to present an approach to uniqueness and properties by stochastic order relations.

Поредната сбирка на семинара на секция Математическо моделиране и числен анализ ще се състои на 06.03.2023 г., понеделник, от 14:00 часа в зала 503 на Института по математика и информатика със следната програма: Доклад на тема Fractional models with applications to infectious diseases dynamics and control theory ще изнесе Файсал Ндайроу, постдокторант по програма ПИКОМ. Резюме. In this talk, I will start by presenting some recent models of fractional calculus and their connection to previously introduced in the litterature. Mainly, I will focus on fractional models with general analytic kernel as they include many existing operators as particular cases. Then, as an application, a detail analysis of a fractional mathematical model of COVID–19 transmission dynamics reflecting realities of Portugal, Spain and Wuhan is given. [...]

Във вторник, 07.03.2023 г., от 14:00 часа в зала 403 ще състои съвместна сбирка на семинарите на МЦМН и секция МОИ. Доклад на тема: Plank Problems: Discrete Geometry and Convexity ще изнесе д-р Александър Полянский (ИМИ-БАН). Abstract: The set of points lying between two parallel lines in the plane is called a plank. Given a convex region C in the plane, what is the smallest combined width of a finite collection of planks that cover C? What happens in higher dimensions? In the 50s, Thoger Bang answered this innocent question of Alfred Tarski and opened a box with many deceptively simple-looking problems. In my talk, I will overview progress in the area and its connection with other fields: theoretical computer science, number theory, and [...]

На 7 март 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн на адрес https://meet.jit.si/IMI-SofTIS ще се проведе поредната лекция на семинара на секция СофТИС. Доклад на тема Софтуерни приложения за математици и информатици ще изнесе Николай Икономов. Поканват се всички заинтересовани,

На 9 март 2023 г. (четвъртък) от 15:00 часа в зала 503 на ИМИ-БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката". Доклад на тема: Introduction to the dimer model on the plane: scaling limit and conformal invariance ще изнесе д-р Михаил Басок, гостуващ учен по програма ПИКОМ. Абстракт:  Dimer model is a classical model in planar statistical physics. Given a finite graph, the model is described as a probability distribution on the set of dimer covers (=perfect matchings) of the graph. In the case when the graph is planar each dimer cover is described with the so-called height function, which is a certain function on the faces of the graph. In this talk we consider a particular setup when [...]

Във вторник, 14.03.2023 г., от 14:00 часа в зала 403 ще състои поредната сбирка на семинара на Международния център за математически науки. Доклад на тема: Non-Archimedean Uniformization and its application ще изнесе д-р Jiachang Xu (ИМИ-БАН). Абстракт

На 14 март 2023 г., от 14:00 часа, в зала 278 на ИМИ и онлайн на адрес https://meet.jit.si/IMI-SofTIS ще се проведе поредната лекция на семинара на секция СофТИС. Доклад на тема Incorporating trust into context-aware services ще изнесе доц. Борис Шишков. Поканват се всички заинтересовани,

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 20.03.2023 г. от 14:30 ч. присъствено в зала 278 на ИМИ. Доклад на тема STEM School Label в България ще изнесе Мария Браухле.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 4 април 2023 г. от 14:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Въведение в спектрална теория на графите ще изнесе Петър Петров, Институт по математика и информатика - БАН. Поканват се всички интересуващи се. Резюме. Това е първата лекция от цикъл от 2-3 лекции по алгебрична теория на графите. Тя ще е достъпна за слушатели с минимални знания по линейна алгебра, в това число за специалисти по информатика или биостатистика, както  и за студенти.  Примери ще демонстрират всяко понятие. Всичко необходимо от теория на графите ще бъде дадено. Упорът е главно върху приложения. Ще бъде разгледан Лапласиана на граф и някои негови свойства, а [...]

На 05.04.2023 г. от 14:00 часа в зала 478 на ИМИ - БАН ще се проведе семинар по Приложения на диференциалните уравнения в науките с лектор академик Петър Попиванов на тема: НЕЛОКАЛНОТО УРАВНЕНИЕ НА ЛИУВИЛ С НЕЛИНЕЙНО ГРАНИЧНО УСЛОВИЕ НА РОБЕН  Резюме. Нелокалното уравнение на Лиувил в кръга, снабдено с постоянни данни на Дирихле, е обект на многобройни изследвания през последните 20 г., като основополагаща е една статия на Л. Онзагер от 1949 г. Конкретните приложения са в областта на статистическата физика. Ще разкажем някои резултати за задачата на Робен за същото уравнение, като основното ударение поставяме на нелинейното гранично условие относно решението, и съдържащо нормалната производна към единичната окръжност. Посочени са случаи, когато задачата притежава единствено класическо решение, което се оказва радиално симетрично. [...]

На 7 април 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Exact values of exponential Følner functions and the Coulhon and Saloff-Coste inequality ще изнесе Богдан Станков (Institut Camille Jordan, Université Claude Bernard Lyon 1, France). Абстракт. For infinite groups, the Følner criterion states that a group is amenable if and only if the isoperimetric constant of its Cayley graph is 0. In that case, a more precise description of its isoperimetric profile is given by the Følner function. It depends on the choice of generating set, but different functions on the same group are asymptotically equivalent. Multiple results have been obtained on Følner functions, but only up to asymptotic equivalence class. In this [...]

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 18 април 2023 г. от 14:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Въведение в спектрална теория на графите 2 ще изнесе Петър Петров, Институт по математика и информатика - БАН. Поканват се всички интересуващи се. Резюме. Втората лекция включва още някои основни понятия, като матрица на инцидентност и дуален граф. Графичното представяне на граф и разделяне на кластери ще бъдат обсъдени също. Докато в първата лекция целта беше мотивацията, в тази лекция ще наблегнем на теореми и примери.