На 4 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Schur’s exponent conjecture ще изнесе Michael Vaughan-Lee (Oxford University Mathematical Institute, United Kingdom). Резюме. If G is a finite group and we write G = F/R where F is a free group, then the Schur multiplier M(G) is (R \cap F’)/[R, F]. There is a long-standing conjecture attributed to I. Schur that the exponent of M(G) divides the exponent of G. It is easy to show that this is true for groups G of exponent 2 or exponent 3, but it has been known since 1974 that the conjecture fails for exponent 4. However the truth or otherwise of this conjecture has remained [...]

На 11 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Distinctness of the “lifted” Kloosterman sums over the prime field F_p ще изнесе Любомир Борисов. Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: June 11, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН Поредната сбирка на Колоквиума ще се състои на 16 юни 2021 г. (сряда) от 14:15 часа онлайн чрез Zoom на: https://us02web.zoom.us/j/83083759898?pwd=T1EzNFExNGh3RFRscGdRWW5uZVlldz09. Доклад на тема: Continuation across small sets in complex analysis ще изнесе Profеssor Slawomir Dinew, Jagiellonian University in Krakow Ръководител на Колоквиума: акад. П. Попиванов

На дистанционно заседание на семинара “ИНФОРМАТИЧНО МОДЕЛИРАНЕ”, на 17.06.2021, четвъртък, от 14:00 часа, доклад на тема: Биоинформатични методи за анализ на "omics" данни ще изнесе: Румяна Йорданова, Университет Хокайдо, Сапоро, Япония. Поканени са всички интересуващи се. Резюме. Терминът „Big Data“ в биологията обикновено се асоциира с така наречените „omics” данни които включват секвенции на целия геном или екзом, РНК експресии, ДНК полиморфизми и мутации, епигенетични модификации, протеинови пространствени структури. Основни проблеми при анализа на такива данни са техния огромен размер, различните начини на генерирането им и различната степен на сложност. В този доклад ще представя обобщено биоинформатични подходи за обработване, интеграция и интерпретация на „omics” данни, както и резултати от тяхното използване. Представените методи включват: глобална генномна ассоциация; конструиране на мрежи от асоциации между [...]

На 1 юни т.г. проф. Димитър Скордев навърши 85 години. Катедрата по Mатематическа логика и приложенията ѝ във ФМИ на СУ се готви да отбележи годишнината на проф. Скордев. На 17 юни 2021 г. (четвъртък) от 17:00 часа на поредната сбирка № 27 на Колоквиума по математическа логика с цикъл от популярни лекции „Математическата логика през двадесет и първото столетие“ проф. Димитър Скордев ще изнесе доклад на тема : Един вариант на системата PA: със степенуване вместо събиране и умножение. Сбирката на Колоквиума ще се проведе дистанционно чрез Google Meet и всеки желаещ може да се присъедини като последва линка: https://meet.google.com/arr-vbhj-avy Проф. дмн Димитър Генчев Скордев е роден в София на 1.6.1936 г. Закърмен с любов към планината от своите родители-архитекти, които са проектирали [...]

На 18 юни 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Primary decompositions of unital locally matrix algebras and Steinitz numbers ще изнесе Bogdana Oliynik (National University of Kyiv-Mohyla Academy, Kyiv, Ukraine). Резюме. Let F be a ground field. An F-algebra A with unit 1 is said to be a locally matrix algebra if an arbitrary finite collection of elements a1, . . . , as from A lies in a subalgebra B with 1 of the algebra A, and B is isomorphic to a matrix algebra Mn(F), n ≥. We assign a Steinitz number n(A) to an arbitrary unital locally matrix algebra A. In this talk, we outline the construction of a [...]

На 21 юни 2021 г. (понеделник) от 15:00 часа ще се проведе дистанционно заседание на семинар "Дигитална култура", организиран от секция "Математическа лингвистика" на ИМИ – БАН. 

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 22 юни 2021 г. от 11:30 ч. чрез ZOOM. Доклад на тема: Обобщени ротационни повърхнини в 4-мерни псевдо-Евклидови пространства ще изнесе Виктория Бенчева. Поканват се всички интересуващи се. Резюме. Ротационните повърхнини са богат източник на примери както в Евклидови така и в псевдо-Евклидови пространства. В доклада разглеждаме т. нар. обобщени ротационни повърхнини от елиптичен и хиперболичен тип в 4-мерно пространство на Минковски и в 4-мерно псевдо-Евклидово пространство с неутрална метрика, които са аналог на дефинираните от C. Moore обобщени ротационни повърхнини в Евклидовото пространство R^4. Oписваме аналитично някои техни подкласове: минимални, плоски, с плоска нормална свързаност, с паралелен нормиран вектор на средната кривина. Topic: Общ семинар на секция "Анализ, [...]

На 25 юни 2021 г. (петък) от 11:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Framing in secret sharing  ще изнесе Arkadii Slinko (The University of Auckland, New Zealand). Абстракт. Secret sharing, a well-known cryptographic technique, introduced 40 years ago as a private and reliable variant of classical storage, has now become a major cryptographic primitive with numerous real-world applications. In this paper we consider the digital forensics aspects of secret sharing. We investigate the problem of framing which occurs when a coalition of participants is able to calculate the share of a participant who does not belong to it. In the extreme case one authorized coalition can calculate shares of another authorized coalition, obtain the [...]

На 2 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Noncommutative Poisson structures, Hochschild type complexes and Gröbner bases theory ще изнесе Natalia Iyudu (Lancaster University, UK). Абстракт: I will discuss Calabi-Yau type conditions, such as pre-Calabi-Yau and exact Calabi-Yau. We show that pre-Calabi-Yau structures give rise to double Pois son brackets of Van den Bergh. The homological formulation of pre-Calabi-Yau structure can be dealt with using Gröbner bases theory to prove purity in case of free graph path algebras. This technique is common for our study of such exact Calabi-Yau algebras as 3-Sklyanin. Here we are able, for example, to improve the statement in Artin-Schelter classical paper, based on arguments [...]

На 7 юли (сряда) 2021, от 14 часа, в заседателната зала на ИМИ-БАН на II етаж (и on-line в Zoom) ще се проведе Семинар на ВНЗ "Информационно моделиране", на който доц. Венелин Тодоров ще изнесе встъпителна лекция на тема: "Иновативни стохастични подходи за моделиране на сложни системи". Резюме: Много научни и инженерни приложения се основават на решаването на многомерни интеграли, интегрални уравнения и системи от линейни алгебрични уравнения. Времето за изчисляване на задачи от голяма размерност или за намиране на решения в реално време, може да бъде ограничено и това прави използването на много от установените алгоритми нецелесъобразно. Алгоритмите Монте Карло дават статистическа оценка на неизвестната величина, чрез използването на случайни величини, чието математическо очакване съвпада с търсеното решение. Ще бъдат представени високоефективни методи Монте Карло и квази [...]

На 9 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема The mysterious Kronecker coefficients of the Symmetric group ще изнесе Greta Panova (University of Southern California, USA). Абстракт. Algebraic Combinatorics is a field of mathematics which studies discrete objects often originating in Representation Theory, Algebra, Algebraic Geometry, Number Theory via combinatorial methods. One of its oldest problems concerns the Kronecker coefficients of the Symmetric Group. They are originally defined by Murnaghan more than 80 years ago as the multiplicities of the irreducible modules in the factorization of the tensor product of two other irreducible modules. They actually generalize the Littlewood-Richardson coefficients in the analogous problem for the general linear group. Despite [...]

На 16 юли 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Proof Complexity of Resolution over linear inequalities ще изнесе Stefan Dantchev (Durham University, United Kingdom). Абстракт. I will start by giving a brief and non-comprehensive introduction to the general research area, Propositional Proof Complexity. I will then focus on a specific proof system that operates on linear inequalities with integral coefficients, called Stabbing Planes (SP). Next, a general method for proving depth lower bounds in SP will be introduced, which allows us to prove logarithmic depth lower bounds for several well-studied propositional contradictions, such as the Pigeon-Hole Principle and the Ordering Principle. Finally, possible extensions and generalisations of SP will be [...]

На 20.7.2021 (вторник) от 14.00 ще се състои ZOOM семинар на секция ИОВС. Лекция ще изнесе Dr. Hermann Render, Univ. College Dublin, на тема: Error estimates for interpolation L-splines and interpolation polysplines. IMI BAS is inviting you to a scheduled Zoom meeting. Topic: Семинар на секция ИОВС Time: Jul 20, 2021 14:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/87217661242?pwd=K0ZIdFF0dTAyNnVGWmllbTlydTAxQT09 Meeting ID: 872 1766 1242 Passcode: 397063

Спектри и приложения 29 – 30 юли 2021 Кратък курс от Йозеф Свобода Зала 404, ИМИ - БАН Абстракт: В този кратък курс ще разгледаме връзката между инварианти на 3-мерни многообразия и теория на особеностите. Използвайки теорията на диференциалните уравнения, ще направим връзка между класическата теория на 3-мерните многообразия с модерната теория на категориите. Накрая ще разгледаме приложения в бирационалата геометрия и униформизацията. Програмата на курса е дадена на сайта на Международния център по математически науки (МЦМН) към ИМИ-БАН https://icms.bg/  

Работен семинар на ICMS и IMSA 20 август 2021 зала 403, ИМИ-БАН, 16:30-18:30, излъчван по Zoom Заглавие: Детерминантни кубични хиперповърхнини (по Илиев, Манивел и Бювил…) Докладчик: Р. Мборо, IMSA, ICMS, 16:30-17:30 Абстракт: We give an account of the problem of writing an equation of a cubic (or other degree) hypersurface X as a (kind of) determinant of a matrix with homogeneous entries. Expressing the equation of X as a determinant is equivalent to produce an arithmetically Cohen-Macaulay vector bundle on X. The talk will focus on the cases of cubic hypersurfaces of dimension at most 8. Заглавие: Квантови представяния на фундаментални групи на криви с Безкраен образ Докладчик: Р. Агилар, IMSA, ICMS, 17:30-18:30 Абстракт: We will report on some results due to Koberda-Santharoubane that [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои онлайн на 15 септември 2021 г. (сряда) от 17:15 часа в Zoom: https://us02web.zoom.us/j/87837263018?pwd=OVl5MlNxdHBlZUs1c1B4WHNseEVWUT09, Meeting ID: 878 3726 3018           Passcode: 805011 Доклад на тема: THE WORM DOMAIN AND THE BERGMAN KERNEL ще изнесе проф. Стивън Дж. Кранц, Washington University in St. Louis, САЩ https://en.wikipedia.org/wiki/Steven_G._Krantz. Абстракт. In joint work with Marco Peloso we analyze the Bergman kernel on a version of the Diederich-Fornaess worm domain that was developed by Christer Kiselman. We are able to obtain an asymptotic expansion for the kernel. And we can study the mapping properties of the Bergman projection. They are quite pathological. We [...]

На 17 септември 2021 г. (петък) от 11:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Dessins d’enfants and moduli spaces of curves ще изнесе George Shabat (Russian State University for the Humanities and Independent University of Moscow, Russia). Абстракт Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Sep 17, 2021 11:00 AM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 20.09.2021 г. от 14:30 ч. присъствено в зала 478 и дистанционно. Доклад на тема Предизвикателства за математическия усет в задачи за (де)кодиране ще изнесат проф. Борислав Лазаров и доц. Ивайло Кортезов. Join Zoom Meeting https://us02web.zoom.us/j/84244178499?pwd=anlzczk3RnZTcjIzSDdkbi8zMGZldz09 Meeting ID: 842 4417 8499 Passcode: 981147  

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 04.10.2021 г. от 14:30 ч. присъствено в зала 478 и присъствено в зала 278 и дистанционно по връзката https://meet.jit.si/DidMod Доклад на тема Лицев център на многоъгълни фигури ще изнесe доц. Бойко Банчев.

Тази година ни напуснаха трима наши колеги - Валерий Ковачев, Георги Райков и Васил Тинчев. В тяхна памет ще бъдe изнесена поредица от доклади на семинара по ДУМФ. Първия доклад от поредицата е посветен на проф. Валерий Ковачев. Поредната сбирка на семинара по ДУМФ ще се проведе на 06.10.2021 г. от 14 ч. чрез платформата Зуум. Доклад на тема On the stability of hyperbolic differential and difference equations with unbounded time delay term im memoriam проф. Валерий Ковачев ще изнесе Prof. Dr. Allaberen Ashyralyev, Near East University Lefkoşa(Nicosia), Mersin 10 Turkey. Линка към Зуум стаята следва: https://us02web.zoom.us/j/84135142057?pwd=VVVCbnhrYmVtNWMzVEt2NDI1eDZtdz09 Meeting ID: 841 3514 2057 Passcode: 552361 Секция "Диференциални уравнения и математическа физика"

Поредната сбирка на Националния семинар по стохастика ще се проведе на 13 октомври 2021 г. (сряда) от 14:00 часа в платформата Zoom. Доклад на тема Пейджранг и аналогични системи за рангиране в спорта ще изнесе Евгени Овчаров (ИМИ-БАН). Zoom стаята ще бъде обявена допълнително. Резюме на доклада: Пейджранг възниква за нуждите за създаване на ефективни търсачки (search engines) в интернет. Той е в основата на най-голямото матрично изчисление в човешката история. Може да се разглежда като случайна разходка в граф или Монте Карло симулация. Дава оценка за централност или важност на възлите в мрежа. Радва се на огромна популярност и намира разнообразни приложения. Мнозина автори извеждат свои аналози на Пейджранг като рейтингови системи в спорта. Ще покажем, че обичайният начин, по който се прави [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 18.10.2021 г. от 14:30 ч. присъствено в зала 278 и дистанционно по връзката https://meet.jit.si/DidMod. Доклад на тема Оценка на добавената стойност на българските училища ще изнесат проф. Кирил Банков, Весела Стоименова и Димитър Атанасов.

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе онлайн на 19 октомври 2021 г. от 14:00 часа чрез Zoom. Доклад на тема: Индексни теории и линейна устойчивост на периодични вълни ще изнесе Севджан Хаккъев, Шуменски университет. Поканват се всички интересуващи се. Резюме. В този доклад, ще представим някои резултати, свързани с устойчивостта на периодични вълни. В моделите, които ще разгледаме, проблема за устойчивост се свежда до изследването на  спектрални задачи от вида и пресмятането на определени величини, свързани с индекса на устойчивост. Join Zoom link: https://us02web.zoom.us/j/83064361660?pwd=T2tJVmswdFgzWmdUYkdWQWtUM3owQT09 Meeting ID: 830 6436 1660 Passcode: 453424  

Поредната сбирка на Националния семинар по стохастика ще се проведе на 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) с дискретно време на Мошковски с два [...]

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