Поредната сбирка на Националния семинар по стохастика ще се проведе на 20 октомври 2021 г. (сряда) от 14:00 часа в платформата Zoom. Доклад на тема Brownian Motion Conditioned to Spend Limited Time Below a Barrier ще изнесе Dominic T. Schickentanz (Technical University of Darmstadt, Germany). IMI BAS is inviting you to a scheduled Zoom meeting. Topic: Национален семинар по стохастика Time: Oct 20, 2021 14:00 Sofia https://us02web.zoom.us/j/84710081103?pwd=Unl4aktJb2VpcWZQdEpDTDAzKysrQT09 Meeting ID: 847 1008 1103 Passcode: 925815 Abstract: We condition a Brownian motion with arbitrary starting point $y\in \mathbb{R}$ on spending at most $1$ time unit below $0$ and provide an explicit description of the resulting process. In particular, we provide explicit formulas for the distributions of its last zero $g=g^y$ and of its occupation time $\Gamma=\Gamma^y$ [...]

На 22 октомври 2021 г. (петък) от 14:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Върху някои специални разлагания на матрици над полета и крайни комутативни пръстени ще изнесе Петър Данчев. Абстракт. Доказано е, че всяка квадратна матрица над безкрайно поле е винаги представима като сума на диагонализируема матрица и нилпотентна матрица от ред 2. В допълнение, всяка такава матрица над крайно поле може да се представи като сума на потентна матрица и нилпотентна матрица с индекс на нилпотентност точно 2 – този резултат може да се разшири до квадратни матрици над крайни комутативни пръстени с радикал на Джейкобсон, чиято втора степен е нула. Тези теореми обобщават някои класически резултати, като тези на А. Абизов и [...]

Тази година ни напуснаха трима наши колеги - Валерий Ковачев, Георги Райков и Васил Тинчев. В тяхна памет ще бъд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) с дискретно време на Мошковски с два [...]

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

дишната отчетна сесия на секция „Изследване на операциите, вероятности и статистика“ ще се проведе на 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  

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 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). [...]

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

Отчетната сесия на секция "Алгебра и логика" за 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 Елица Христова: Описание на [...]

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

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

Българското статистическо дружество (БСД) и Национален семинар по стохастика (НСС) ще проведат общ семинар на 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 ще изнесе доц. Александър Илиев. Поканват се всички заинтересовани,