Тази година ни напуснаха трима наши колеги - Валерий Ковачев, Георги Райков и Васил Тинчев. В тяхна памет ще бъдe изнесена поредица от доклади на семинара по ДУМФ. Вторият доклад от поредицата е посветен на проф. Валерий Ковачев. Поредната сбирка на семинара по ДУМФ ще се проведе на 27.10.2021 г. от 14 ч. чрез платформата Зуум. Доклад на тема Continuous-time additive Hopfield-type neural networks with impulses im memoriam проф. Валерий Ковачев ще изнесе Prof. Haydar Akca, Abu Dhabi University. Линка към Зуум стаята следва: https://us02web.zoom.us/j/82525913777?pwd=dWg5UzdNRWhqcmdBWXJ4VEEvWmg1QT09 Meeting ID: 825 2591 3777 Passcode: 778070 Секция "Диференциални уравнения и математическа физика"

На 29 октомври 2021 г. (петък) от 17:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Tropical Geometry and the Commutative Algebra of Semirings ще изнесе Kalina Mincheva (Tulane University, New Orleans, USA). Абстракт. Tropical geometry provides a new set of purely combinatorial tools, which has been used to approach classical problems. In tropical geometry most algebraic computations are done on the classical side - using the algebra of the original variety. The theory developed so far has explored the geometric aspect of tropical varieties as opposed to the underlying (semiring) algebra and there are still many commutative algebra tools and notions without a tropical analogue. In the recent years, there has been a lot of effort [...]

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

На 5 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Permutation groups and permutation patterns ще изнесе Erkko Lehtonen (Universidade Nova de Lisboa, Portugal). Абстракт. We approach permutations from two different points of view: the algebraic one of permutation groups and the combinatorial one of permutation patterns. While these two well-established notions do not seem to have much in common, there is a perhaps surprising connection that will be explained in this talk. Namely, the class of permutations avoiding the complement of a permutation group is comprised of levels that are permutation groups. With the help of invariant relations, we describe the permutation groups that arise in this way from pattern [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 10 ноември 2021 г. (сряда) от 14:00 часа в платформата Zoom. Доклад на тема Extremes of Markov random fields on block graphs ще изнесе Стефка Асенова (Université Catholique de Louvain, Belgium). IMI BAS is inviting you to a scheduled Zoom meeting. Topic: Национален семинар по стохастика Time: Nov 10, 2021 14:00 Sofia https://us02web.zoom.us/j/83899570401?pwd=eFJZUEpDV3NIQmFUL25lRW1WdWZKZz09 Meeting ID: 838 9957 0401 Passcode: 550011 Abstract

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 15.11.2021 г. от 14:30 ч. присъствено в зала 278 и дистанционно по връзката https://meet.jit.si/DidMod. Доклад на тема Задачите по математическа лингвистика в контекста на НВО Х клас ще изнесат проф. Борислав Лазаров и ас. Веселин Златилов.

На 19 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities of Vector Spaces and Nonassociative Linear Algebras ще изнесе Alexey V. Kislitsin (Altai State Pedagogical University, Barnaul, Russia). Докладът е съвместен с Ismail M. Isaev (Altai State Pedagogical University, Barnaul, Russia). Докладът ще бъде изнесен на руски език, а слайдовете ще бъдат на английски. Абстракт. In this talk, we study the concept of the identity of the L-space as a weak identity of the pair (A, E), where A is the associative F-algebra generated by the vector space E over the field F. We study the properties of the L-spaces and their identities. Corollaries of some of the results proved [...]

На 26 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. We elaborate on semantically labeled syntax trees, which provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of either models or frames, and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae but the latter require more propositional variables. The talk is based on the following articles. P. Iliev. On a method [...]

На 3 декември 2021 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. Заседанието ще се проведе като част от отчетната сесия на секция "Алгебра и логика" за 2021 г. От 13:00 до 13:30 часа доклад на тема Теорема за разделянето в интервалната темпорална логика с дискретно време ще изнесе Димитър Гелев (съвместна работа с Бен Мошковски). Докладът ще бъде изнесен на български език с презентация на английски език. Резюме: Теоремата за разделянето на Габай за линейната темпорална логика (LTL) с оператори за миналото е доказано един от най-полезните теоретични резултати в темпоралната логика. В този доклад уста-новяваме аналогично твърдение за пропозиционалната интервална темпорална логика (ITL) с дискретно време на Мошковски с два [...]

На 7 декември 2021 г. от 9:30 ч. ще се проведе годишната отчетна научна сесия на секция „Анализ, геометрия и топология“. Тази година тя е посветена на 90 годишния юбилей на проф. Петър Русев. ПРОГРАМА Отчетната сесията ще се проведе посредством платформата Zoom на следния линк: Join Zoom Meeting https://us02web.zoom.us/j/88915016332?pwd=eGk0eXAzMVFYRVAvZlpRU1BSNDFUUT09 Topic: Годишна отчетна научна сесия на секция АГТ Time: Dec 7, 2021 09:30 Sofia Meeting ID: 889 1501 6332 Passcode: 703369

  Поредната сбирка на семинара на секция ДУМФ  ще се проведе на 08.12.2021г. от 14 ч.  Докторантът към същата секция Павел Стойнов ще изнесе доклад на тема Приложение на клетъчни невронни мрежи за изследване на частни диференциални уравнения, възникващи във финансовата математика Резюме на доклада: "Клетъчните невронни мрежи и сродните им мрежови техники са ефективно средство за приближено решаване на диференциални уравнения и системи от уравнения и днес с успех се прилагат в изчислителни модели, възникващи във финансовата математика. Работата разглежда някои модели във финансовата математика, свързани с преход от стохастични процеси и стохастични диференциални уравнения към частни диференциални и интегро-диференциални уравнения. Представени са и клетъчните невронни мрежи, като едно от направленията на развитие на изкуствения интелект, както и приложението на клетъчни невронни мрежи [...]

Отчетната сесия на секция "Алгебра и логика" за 2021 г. ще се проведе на 10 декември 2021 г. oт 9:30 часа. ПРОГРАМА Сесията ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/84156221252?pwd=S0R3MHFVeWFBMUtDbE8waFFvdUlaUT09  Topic: Отчетна сесия на секция "Алгебра и логика" за 2021 г. Time: Dec 10, 2021 09:30 Sofia Meeting ID: 841 5622 1252 Passcode: 601617 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/

Годишната отчетна  сесия на секция „Математическо моделиране и числен анализ“ ще се проведе на 13.12.2021 от 9:30 чрез платформата Zoom: IMI BAS is inviting you to a scheduled Zoom meeting. Topic: Годишна отчетна сесия на секция ММЧА Time: Dec 13, 2021 09:30 Sofia Join Zoom Meeting https://us02web.zoom.us/j/83745550022?pwd=SEZadnVUYmY0K2pLRGIxdzZQVEJkZz09 Meeting ID: 837 4555 0022 Passcode: 302521 ПРОГРАМА

дишната отчетна сесия на секция „Изследване на операциите, вероятности и статистика“ ще се проведе на 14.12.2021 от 10:00 часа. Сесията се посвещава на паметта на нашия колега проф. Асен Дончев (1948 - 2021).

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 14 декември 2021 г. от 13:00 часа чрез Zoom. Доклад на тема: Въведение в хомологичната огледална симетрия на проективни равнини с тегла над комплексните числа ще изнесе Марин Генов. Поканват се всички интересуващи се. Резюме. Ще въведем основните понятия и резултати водещи до формулировката на хомологичната огледална симетрия в случая на проективните равнини с тегла над комплексните числа. Join Zoom link: https://miami.zoom.us/j/93060507383?pwd=Y2MremVpcmJrdkRiN3N3QVVZZC9HQT09 Meeting ID: 930 6050 7383 Passcode: 825839  

одишната отчетна сесия на секция "Софтуерни технологии и информационни системи" ще се проведе на 14 декември 2021 г., от 14.00ч в платфората jitsi. Поканват се всички заинтересовани колеги и гости.

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 15 декември 2021 г. (сряда) от 16:15 часа хибридно - в Заседателната зала на ИМИ и в Zoom: https://us02web.zoom.us/j/81742849339?pwd=bDY4MmhpZkhpT0ZjQXZwa3RLRnpKdz09, Meeting ID: 817 4284 9339           Passcode: 378913 Доклад на тема: ЗАГАДКАТА S6 ще изнесе акад. Олег Мушкаров, Институт по математика и информатика, Българска академия на науките Резюме: Докладът е обзор на най-съществените резултати върху класическия въпрос на Х. Хопф (1946 г.) за съществуване на комплексна структура върху 6-мерната сфера.   Поканват са всички интересуващи се.

На 7 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A valuation theorem for Noetherian rings ще изнесе Антони Рангачев (ИМИ - БАН). Резюме: A classical result due to Krull says that a normal domain R is equal to the intersection of the valuation rings in its field of fractions that contain R. If in addition R is Noetherian, then one can restrict the intersection to the discrete valuation rings that contain R. Now consider the following relative setting. Let A and B be integral domains. Suppose A is Noetherian and B is a finitely generated A-algebra that contains A. Denote by A' the integral closure of A in B. In [...]

На 21 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the distribution of αp modulo one for primes p=aq^2+1 with prime q ще изнесе Татяна Тодорова (ФМИ-СУ). Резюме: It is a long-standing conjecture that there are infinitely many primes of the form n^2+1. Several approximations to this problem have been made. Baier and Zhao showed that for any ε > 0, there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(5/9+ε). The best known result, due to Matomäki is that there are infinitely many primes of the form p = aq^2 + 1, where a ≤ p^(1/2+ε) and q is a prime. We [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 26 януари 2022 г. (сряда) от 16:15 часа онлайн в Zoom: https://us02web.zoom.us/j/82760494313?pwd=MUNGL1grY05RV0s3T2JPeVJzN0FUUT09 Доклад на тема: Бернщайн-Гама функции и теория на вероятностите ще изнесе чл.-кор. Младен Савов, Институт по математика и информатика, Българска академия на науките Резюме: Добре известната Гама функция на Ойлер играе роля в редица области на математиката. Само в теория на вероятностите тя има редица приложения като едно от най-важните е в изучаването на непрекъснати себеподобни неотрицателни Марковски процеси. Оказва се, че едно естествено обобщение на Гама функцията, наречено функция Бернщайн-Гама, е по същия начин, свързана с по-общите себеподобни Марковски процеси. То практически кодира цялата информация за спектъра [...]

Семинарът по „МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА“ организиран от Секция „Математически основи на информатиката“ към ИМИ - БАН, Факултет „Математика и информатика“ - ВТУ Ви кани на поредната си сбирка, на която Константин Воробьов, постдокторант в секция МОИ на ИМИ - БАН, ще изнесе доклад на тема: Binary codes with two distances  Резюме: In this work, we prove two conjectures from a paper on two distance codes by Boyvalenkov, Delchev, Zinoviev and Zinoviev (Discrete Math., 344(5), 112318, https://doi.org/10.1016/j. disc.2021.112318). We also prove several new upper and lower bounds on A_2(n,d1,d2) (i.e. the maximal cardinality of a binary code of length n with distances d1 < d2) and provide new constructions for binary codes with two distances. This is a joint work with Ivan Landjev and Assia [...]

На 28 януари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bicommutative algebras from commutative point of view ще изнесе Веселин Дренски (ИМИ - БАН). Резюме: The nonassociative algebra R is right-commutative if (ab)c = (ac)b for all a, b, c in R, R is left-commutative if a(bc) = b(ac) for all a, b, c in R. Bicommutative algebras are algebras which are both left- and right-commutative. One-sided commutative algebras appeared for the first time in a paper by Cayley in 1857. Their important subclass of Gelfand-Dorfman-Novikov algebras were studied by Gelfand and Dorfman for the needs of the Hamiltonian operator in finite-dimensional mechanics and by Balinskii and Novikov in relation with [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 31.01.2022 г. от 14:30 ч. дистанционно в Zoom на: https://us02web.zoom.us/j/88972650233?pwd=V3NSenZrc0xqN3BOT1RKL2d6NFJMUT09. Доклад на тема Създаване на изследователска установка – демонстрация при обучение на учители ще изнесе д-р Георги Гачев.

На 1 февруари 2022 (вторник) от 14.00 ще се дистанционно заседание на общия семинар на секция „Изследване на операциите, вероятности и статистика”. Доклад на тема: Използване на фрактална размерност при обучението на невронни мрежи ще изнесе д-р Калин Стоянов. Абстракт: Процесът на обучение на невронните мрежи (НМ), при дадена структура на НМ, по същество е оптимизация на стойностите на теглата, асоциирани с връзките между отделните неврони. Това е рекурсивен процес при който се търси минимум на една композитна функция. По време на този процес, елементите на избрана матрица ма теглата W, асоциирана например с първия скрит слой, се доближават до фрактална структура. Използвайки фракталната размерност (Hausdorff-Besicovitch) на W, ние правим опит за превантивен контрол на броя на епохите Е. Стойността на Е е един [...]

На 02.02.2022г. от 14 ч. ще се проведе дистанционно поредната сбирка на семинара по Диференциални уравнения на секция ДУМФ. Доклад на тема Гравитационни вълни ще изнесе чл-кор.  Стойчо Язаджиев. Абстракт: Най-скорошната голяма революция във физиката беше директното регистриране на гравитационните вълни. Това постави началото на нова мощна област във физиката, а именно гравитационно-вълновата астрофизика и по-общо мултимесинджър астрофизиката. На гравитационните вълни се възлагат най-големите надежди за разбулване на тайните на Вселената. В моя доклад  ще представя основите на науката за гравитационните вълни, използвайки концепции от университетската физика и математика. Въз основа на стандартни курсове по физикаи и математика ще се опитам да обясня основните характеристики на откритията на LIGO и да направя оценки по порядък на ключовите параметри на първото събитие на гравитационна вълна [...]

На 11 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal definability of some classes of modal products ще изнесе Яна Руменова (ФМИ – СУ). Докладът е съвместен с Тинко Тинчев (ФМИ – СУ). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 11, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 14.02.2022 г. от 14:30 ч. дистанционно в Zoom на https://us02web.zoom.us/j/85310721692?pwd=b2VLT1h0NGtZaTJycHF5V2lpR3VGUT09 Доклад на тема Епископската базилика на Филипопол в контекста на STEAM ще изнесе проф. Тони Чехларова.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 15 февруари 2022 г. от 13:00 часа чрез Zoom. Доклад на тема: Kähler Manifolds of Quasi-constant Holomorphic Sectional Curvature and Generalized Sasakian Space Forms ще изнесе Cornelia-Livia Bejan,  “Gheorghe Asachi” Technical University of Iasi, Romania. Поканват се всички интересуващи се. Резюме. Two geometric notions, namely Kähler manifolds of quasi-constant holomorphic sectional curvature and generalized Sasakian space forms, are related to each other, for the first time. Some conditions under which each of these structures induces the other one, are provided here. Several results are obtained on direct products (which are special cases of Naveira’s classification), warped products or hypersurfaces of manifolds and relevant examples are included. A result of Niebergall [...]

На 18 февруари 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: The Bulgarian Solitaire and Other Games on Partitions ще изнесе Веселин Дренски (ИМИ - БАН). Резюме. In 2020 the L.N. Gumilyov Eurasian National University (Nur-Sultan, Kazakhstan) decided to organize International Scientific Conference "Algebra and Logic" dedicated to the 60th anniversary of Professor Ualbai Umirbaev and the 75th anniversary of Professor Leonid Makar-Limanov. The meeting was cancelled because of the Covid-19 pandemic. The present talk is based on the talk I planned to give in Nur-Sultan. The (quite amusing) story presented in the talk is an example of how an elementary mathematical game can inspirit serious mathematical investigations in Combinatorics, Graph theory, [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 23 февруари 2022 г. (сряда) от 16:15 часа онлайн в Zoom: https://us02web.zoom.us/j/88014396681?pwd=SzhBR0REejVhak0zTHVjbHZsL3BCZz09 Meeting ID: 880 1439 6681                Passcode: 109729 Доклад на тема: Класификация на регулярните стационарни решения на уравненията на Айнщайн и топологиите на хоризонта в четири и по-високи измерения ще изнесе чл.-кор. Стойчо Язаджиев, Институт по математика и информатика, Българска академия на науките Резюме: Уравненията на Айнщайн играят централна роля в съвременната фундаментална физика и изучаването на техните регулярни решения е от първостепенна важност. Стационарните решения на уравненията на Айнщайн описват различни компактни обекти като черни дупки, звезди, солитони и са особено важни за гравитационно-вълновата физика и астрофизиката като [...]

На 25 февруари 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the Degree of Dependence of Two Events as a Relative Invariant of the Dihedral Group of Order 8 ще изнесе Валентин Илиев (ИМИ - БАН). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 25, 2022 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 28.02.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom на https://us02web.zoom.us/j/86360173424?pwd=WU8vaWlzb2dqc0hNU1gzTUQ1SXpDUT09 Meeting ID: 863 6017 3424    Passcode: 701022 Доклад на тема Приносът на Световната федерация за национални математически състезания (WFNMC) за развитие на математическото образование ще изнесе проф. Кирил Банков.

На 11 март 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Multi-summation in difference rings and applications ще изнесе Carsten Schneider (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria). Резюме. Symbolic summation in difference fields started with Karr's summation algorithm (1981) which can be considered as the discrete version of Risch's indefinite integration algorithm in differential fields. In the last 20 years this approach has been generalized and enhanced to a constructive summation theory of difference rings. In general, one can represent algorithmically any expression in terms of indefinite nested sums defined over hypergeometric products in such rings. As a crucial by-product one obtains optimal representations where the arising sums [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 14.03.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom на https://us02web.zoom.us/j/84999372384?pwd=b2dGNHpDMVV2eHZEMjhOY3VMRDIyUT09 Meeting ID: 849 9937 2384    Passcode: 489610 Доклад на тема Една малко позната страна на афинните преобразования ще изнесе доц. Бойко Банчев.

На 18 март 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Absorbing ideal structures of commutative rings ще изнесе Ece Yetkin Celikel (Hasan Kalyoncu University, Turkey). Резюме. Let R be a commutative ring with nonzero identity. As generalizations of prime ideals, the absorbing ideals were first defined and studied by A. Badawi in 2007. A proper ideal I of R is said to be 2-absorbing if whenever a, b, c ∈ R with abc ∈ I, then either ab ∈ I or ac ∈ I or bc ∈ I. After this date, many researches have been done to introduce various extensions of this concept. In this talk, we present some absorbing ideals [...]

На 24 март 2022 г. (четвъртък) от 14:00 часа ще се проведе семинар на секция "Математическо моделиране и числен анализ" в приложението Zoom. Dr. habil. Clemens Hofreither ще представи доклад на тема A Newton's method for best uniform rational approximation Абстракт. We present a novel algorithm, inspired by the recent BRASIL algorithm, for best uniform rational approximation based on a formulation of the problem as a nonlinear system of equations and barycentric interpolation. We derive a closed form for the Jacobian of the system of equations and formulate a Newton's method for its solution. The resulting method for best uniform rational approximation can handle singularities and arbitrary degrees for numerator and denominator. It typically converges globally and exhibits superlinear convergence in a neighborhood of the [...]

На 25 март 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. In this talk we make an application of our separation theorem for discrete time Interval Temporal Logic (ITL) to the study of Interval-based Computation Tree Logic (ICTL*). We prove that the expressibility of the expanding modalities and, most importantly, propositional quantification, carry over from linear time ITL to the branching time system of ICTL*. The relevance of this follows from the fact that point-based propositionally quantified CTL* (QCTL*) is the established intermediate language for temporal logics of agency as propositional [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 28.03.2022 г. от 14:30 ч. присъствено в зала 478 на ИМИ и дистанционно в Zoom. Доклад на тема За мястото на ученическото творчество в часовете по математика в 4. клас ще изнесе ас. Невена Събева. Time: Mar 28, 2022 14:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/87086998237?pwd=QmRNN1hRZU0rNlg2aGozbnhRNVgxQT09 Meeting ID: 870 8699 8237  Passcode: 711085

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 29 март 2022 г. от 13:30 часа в зала 478 на ИМИ - БАН. Доклад на тема: On Squeezing Function for Planar Domains ще изнесе Ahmed Yekta Ökten, Institut de Mathématiques de Toulouse, France. Поканват се всички интересуващи се. Резюме. Let Ω be a domain in ℂ𝑛 such that the set 𝐸(Ω, 𝐵𝑛) of injective holomorphic maps from Ω into the unit ball 𝐵𝑛 ⊂ ℂ𝑛 is non-empty. The squeezing function of Ω, denoted by 𝑆Ω is defined as 𝑆Ω(𝑧) = sup{𝑟 ∈ (0, 1): 𝑟𝐵𝑛 ⊂ 𝑓(Ω),      𝑓 ∈ 𝐸(Ω, 𝐵𝑛),      𝑓 (𝑧) = 0}. It follows from the definition that the squeezing function is [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 30 март 2022 г. (сряда) от 16:15 часа онлайн в Zoom: https://us02web.zoom.us/j/89769897829?pwd=MUEyOG9BbytSYjA3bCt6UEM5MlZ5Zz09 Meeting ID: 897 6989 7829               Passcode: 466950 Доклад на тема: Асимптотика на дисипативни собствени значения и приложения в проблеми на разсейване ще изнесе проф. Веселин Петков, Институт по математика, Университет на Бордо. Абстракт   Поканват са всички интересуващи се.

На 1 април 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Automorphisms of simple quotients of the Poisson and universal enveloping algebras of sl_2 ще изнесе Altyngul Naurazbekova (L. N. Gumilyov Eurasian National University, Nur-Sultan, Kazakhstan). Резюме. Let P(sl_2(K)) be the Poisson enveloping algebra of the Lie algebra sl_2(K) over an algebraically closed field K of characteristic zero. U. Umirbaev, V. Zhelyabin proved that the quotient algebras P(sl_2(K))/(C_P - λ), where C_P is the standard Casimir element of sl_2(K) in P(sl_2(K)) and 0 ≠ λ ∈K, are simple. Using a result by L. Makar-Limanov on groups of automorphisms of a class of surfaces, we describe generators of the automorphism group of P(sl_2(K))/(C_P [...]

На 15 април 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Quantisation of free associative dynamical systems. Bi-quantum structure of the stationary KdV hierarchy. Non-deformation quantisation of the Volterra hierarchy ще изнесе Alexander V. Mikhailov (University of Leeds, UK). Резюме. Traditional quantisation theories start with classical Hamiltonian systems with variables taking values in commutative algebras and then study their non-commutative deformations, such that the commutators of observables tend to the corresponding Poisson brackets as the (Planck) constant of deformation goes to zero. I am proposing to depart from dynamical systems defined on a free associative algebra A. In this approach the quantisation problem is reduced to the problem of finding of a [...]

На 27 април 2022 (сряда) от 15.15 в зала 503 на ИМИ ще се проведе присъствено заседание на общия семинар на секция „Изследване на операциите, вероятности и статистика”. Доклад на тема: Optimization Theory in Glushkov Institute of Cybernetics NASU (Kiev) with special reference to Nondifferentiable Optimization ще изнесе проф. Н. М. Глазунов. Абстракт

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 28 април 2022 г. от 13:00 часа в зала 478 на ИМИ - БАН. Доклад на тема: Изотропни векторни полета и структури върху комплексни повърхнини ще изнесе Гео Грънчаров, Florida International University, USA. Поканват се всички интересуващи се. Резюме. Върху 4-мерно векторно пространство със скаларно произведение със сигнатура (2,2) два независими вектора с обвивка максимална изотропна (нулева) равнина, определят канонично пара-кватернионно действие. Ние забелязахме, че върху ориентируемо 4-многообразие с подобна псевдо-Риманова метрика, съществуването на две изотропни (нулеви) Килингови полета води до интегруемост на индуцираната структура - наречена пара-хиперкомплексна, а метриката е анти-автодуална. Използвайки класификацията на Кодаира на компактните комплексни повърхнини, можем да опишем топологията на съответното 4-многообразие в компактния [...]

На 29 април 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Images of multilinear polynomials on upper triangular matrices ще изнесе Thiago Castilho de Mello (Universidade Federal de São Paulo, Brazil). Резюме. Let f(x1, …, xm) be a polynomial in noncommutative variables over an infinite field K. If A is a K-algebra, it defines in a natural way a map Am → A. If the polynomial f is multilinear, the famous Lvov-Kaplansky conjecture asks whether the image of a multilinear polynomial on a matrix algebra is a vector subspace. Solutions to this problem are known only for n = 2 or m = 2 with partial results for m = 3 and n = 3. In this talk, we survey these results and [...]

Поредната сбирка на СЕМИНАРА на секция "Математическо моделиране и числен анализ" ще се състои (присъствено) на 05.05.2022 г., четвъртък, от 14:00 часа в зала 403 на Института по математика и информатика. Доклад на тема: Optimal Over-Parametirized Learning ще изнесе Prof. Peter Binev, University of South Carolina, USA. Абстракт

На 13 май 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: A counterexample to the modular isomorphism problem ще изнесе Diego García-Lucas (Universidad de Murcia, Spain). Абстракт. The modular isomorphism problem asks whether the isomorphism type of the modular group algebra of a p-group G over a field of characteristic p determines the isomorphism type of G. It was explicitly mentioned in a survey by Richard Brauer in 1963, and was the only classical version of the isomorphism problem for group rings which had resisted a solution, though it received considerable attention. Several partial positive solutions were obtained imposing very strong conditions on the group G, for instance the one of being [...]

На 17 май 2022 г., вторник, от 14 часа, в заседателната зала на ИМИ-БАН ще се проведе семинар на ВНЗ "Информационно моделиране", където Слави Георгиев ще изнесе лекция на тема Числено възстановяване на зависещия от времето волатилитет в пазарния модел на Блек–Шолс.  Резюме: В този доклад са представени алгоритми, които решават обратната задача за възстановяване на волатилитета като функция на времето, от котировки на европейски опции. Следвайки пазарната рамка на Блек–Шолс, моделите са калибрирани, за да се получи времевата структура на волатилността. Първият алгоритъм се основава на решаването на помощни задачи, които допринасят за възстановяването на неизвестната волатилност стъпка по стъпка, за всеки времеви възел. Опционната цена е декомпозирана по отношение на волатилитета. Алгоритъмът се нуждае от точкови или интегрални измервания във всяка точка от времето. [...]

На 20 май 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Bootstrap percolation: merging operations for polytopes ще изнесе Ivailo Hartarsky (Université Paris-Dauhpine, PSL, France, visiting scholar at Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil). Абстракт. Bootstrap percolation is a group of statistical physics models intensively studied since the 1970s in mathematics, physics, computer science, as well as social sciences. They are cellular automata generalising the following paradigmatic example. Arbitrarily declare some sites of Z^2 initially infected. Iteratively, at each discrete-time round, additionally infect each site with at least 2 infected neighbours. The last decade has seen the accomplishment of a full classification of all such models into `universality [...]

На 31 май 2022 г., вторник, от 14 часа, ще се проведе семинар на ВНЗ "Информационно моделиране", с гост-лектор  доц. Оксана Харченко от Department of Media Engineering and Information Radio Electronic Systems of Kharkiv National University of Radio Electronics, Ukraine. Тя ще изнесе следната лекция: IDENTIFICATION AND VISUALIZATION OF ELECTROENCEPHALOGRAM INFORMATIONAL CHARACTERISTICS.  Резюме: Nowadays the numerical methods of EEG analysis (in main, spectral and correlation analysis) are finding ever increasing application. An advantage of these methods consists in the elimination of subjectivity, being inevitable for a visual analysis. It is important for the clinical neurophysiologist to know when this or that rhythm appeared. But spectral analysis does not show the change in the signal over time. This disadvantage partially allows to overcome the Windowed Fourier Transform [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 06.06.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom. Доклад на тема Предпоставки и подготовка за внедряване на модел за интегриран подход в 125.училище ще изнесе инж. Стефана Петрова. Join Zoom Meeting https://us02web.zoom.us/j/82520858333?pwd=d1lVcGpOS29zTU1qb0N6d0U4VGpMUT09 Meeting ID: 825 2085 8333 Passcode: 436390

На 7 юни 2022 г., вторник, от 14 часа, в зала 278 на Института по математика и информатика – БАН ще се проведе семинар на ВНЗ "Информационно моделиране", с гост-лектор  доц. д-р Румен Димитров, който ще изнесе лекция на тема: Приложение на NGS технологията за анализ на взаимодийствието патоген – гостоприемник.  Презентацията е в рамките на проект КП-06-31/19 към фонд научни изследвания на тема: „Проследяване на геномната еволюция на щамове от популацията на C. glabrata и развитие на лекарствена резистентност и вирулентност по време на инфекция“. Ръководител на проекта е доц. д-р Дилнора Гулямова от Институт по микробиология към БАН. Анотация: C. glabrata е опортюнистичен гъбичен патоген. Неговите клинични изолати показват огромна геномна пластичност. Това дава възможност на C. glabrata да се адаптира към различни ниши-на [...]

На 10 юни 2022 г. (петък) от 13:00 часа в заседателната зала на ИМИ ще се проведе заседание на семинара на секция МОИ. Доклад за зачисляване в докторантура на тема: Sperner‘s Theorem, Voting Theory, Balancing the Graph System, Strong and Weak Subsets of the Multiset ще изнесе Степан Тарасенко, Киевски политехнически институт. За онлайн участие (Zoom): https://us02web.zoom.us/j/84701255174?pwd=bnVQV290cExnS2p3RVpRZDdWdFlBUT09 Meeting ID: 847 0125 5174, Passcode: 896181

На 10 юни 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes ще изнесе Plamen Koev (San José State University, USA). Абстракт. The symmetric tridiagonal eigenvector problem has been a central research topic in numerical linear algebra since its inception. Of the myriad of algorithms today, none is provably optimal and accurate at the same time. “Optimal” means, a subset of k eigenvectors is computed in O(kn) time. “Accurate” means that the computes eigenvectors are orthogonal and satisfy the typical relative gap error bound. In this talk, we focus our attention on a neglected oscillating property of the eigenvectors: the i-th eigenvector has [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 15 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ - БАН. Доклад на тема Tests of stochastic dominance with repeated measurements data ще изнесе Ангел Ангелов (ФМИ - СУ). Абстракт: We explore a testing problem which involves four hypotheses, i.e., based on observations of two random variables X and Y, we wish to discriminate between four possibilities: identical survival functions, stochastic dominance of X over Y, stochastic dominance of Y over X, or crossing survival functions. Four-decision testing procedures for repeated measurements data are proposed. The tests are based on a permutation approach and do not rely on distributional assumptions. One-sided versions of the Cramér–von Mises, Anderson–Darling, and Kolmogorov–Smirnov [...]

На 22.06.2022г. от 14 ч. ще се проведе поредната сбирка на семинара по Диференциални уравнения на секция ДУМФ. Доклад на тема On Contact Defects in Reaction-Diffusion Systems ще изнесе д-р Милен Иванов. Абстракт: Solutions of reaction-diffusion systems exhibit a wide variety of patterns like spirals, stripes and Turing patterns. In particular, the Belousov-Zhabotinsky (BZ) reaction produces spiral patterns, which may undergo a period-doubling bifurcation; then a line defect is emitted from the center of the spiral and along it the pattern jumps half a period. In order to study this phenomenon, we consider the so-called contact defects, studied by Sandstede and Scheel: functions, which converge (in an appropriate sense) to a periodic function as x→±∞. Of interest is the problem of truncating such a [...]

На 24 юни 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Dependent-Type Theory of Situated Information with Context Assessments ще изнесе Русанка Луканова. Абстракт. I shall introduce an enriched formal language of information that establishes propositions dependent on situations and types. The types can be basic or complex. Complex propositional types are defined recursively. The language supports structured data of situated information, which can be partial, parametric, and underspecified. Information can be associated with quantitative evaluations depending on situations. The formal terms can integrate propositional types of situated information with statistical and other quantitative evaluations. Structured content integrated with quantitative data facilitates development of new techniques for amalgamating logic representation of situated, propositional [...]

Поредната сбирка на Националния семинар по стохастика ще се проведе на 29 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ - БАН. Доклад на тема Modelling longitudinal cognitive test data with ceiling effects and left skewness ще изнесе Деница Григорова (ФМИ - СУ), съвместна работа с Деян Палежев и Ралица Георгиева. Абстракт: Cognitive tests are among the markers for the development of cognitive diseases such as Alzheimer’s disease. We model the scores from the Mini Mental State Examination (MMSE) over time on data from the Alzheimer’s Disease Neuroimaging Initiative studies (ADNI, http://adni.loni.usc.edu/). The challenge of modelling such an outcome is that the data are left-skewed with ceiling effects - the maximum possible score on the MMSE is 30 and this [...]

На 1 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp ще изнесе Любомир Борисов. Абстракт. Kloosterman sums over finite fields play an important role in "Algebraic Coding Theory" and "Cryptography". E.g., they are related to some families of algebraic codes (Melas, Kloosterman) and (hyper-)bent functions. Particularly, the divisibility properties of some quantities connected with the Kloosterman sums, e.g., of minimal polynomial coefficients and power moments, were also investigated (see, e.g., [1]; [2]). In this talk I shall present some results about the divisibility by 2 of the coefficients of minimal polynomials of the Kloosterman sums. [1] M. Moisio, [...]

На 05.07.2022г. oт 14:00 в заседателната зала на ИМИ-БАН ще се състои сбирка на семинара на секция „Математически основи на информатиката“. Докладчик ще бъде проф. Александър Барг от Университета на Мериленд. Той ще изнесе доклад на тема Remarks on the 1st linear programming bound for binary codes Abstract: The "linear programming bound" on the rate of binary codes (1977) is a fundamental result in coding theory that continues to attract attention to this day, with new proofs appearing every now and then. I will discuss 2 proofs from about 2006-08, appearing in arXiv:cs/0512025 (Barg-Nogin) and arXiv:math/0702425 (Navon and Samorodnitsky). Both proofs are based on Fourier analytic arguments on the Boolean cube and exhibit interesting parallels and differences (none of them actually uses linear programming). [...]

За двадесет и втори пореден път Ученическият институт по математика и информатика (УчИМИ) организира своята Лятна изследователска школа по математика и информатика (ЛИШ’22). Тя ще се проведе хибридно от 24 юли до 13 август, като през първата седмица учениците ще слушат лекции дистанционно, а след това школата ще продължи в Творческия дом на БАН във Варна. За участие в програмата на ЛИШ тази година се класираха 46 ученици с изявени интереси в областта на математиката, информатиката и информационните технологии. В школата вече традиционно има международно участие и официалният език, на който тя се води, е английски. Тридесет и един са средношколците от България, а заедно с тях в школата ще участват ученици от Албания, Азербайджан, Бразилия, Индия, Катар, Саудитска Арабия и САЩ. Трима от [...]

На 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 [...]