На 11.03.2021 г. (четвъртък), 16:00 ч., ще се състои дистанционно заседание на Националния семинар по информатика, на който доц. д-р Велин Андонов – ИМИ-БАН ще изнесе публична академична лекция на тема: Нови модели на системи за обслужване. Join Zoom Meeting https://us02web.zoom.us/j/81724360747?pwd=aXV0b0lFclBoQzl6VGZLR0k2dEZQQT09 Meeting ID: 817 2436 0747 Passcode: 008937   Изпращайте вашите мнения, както и предложения за доклади на Националния семинар по информатика на: Председател: проф. Аврам Ескенази (eskenazi@math.bas.bg) Секретар: доц. Стоян Порязов (stoyan@math.bas.bg)

На 12 март 2021 г. (петък) от 16:30 часа ще се проведе съвместно дистанционно заседание на семинара по „Алгебра и логика” и на общия семинар на секция „Анализ, геометрия и топология”. Доклад на тема Algebraic Non-hyperbolicity of Hyperkähler Manifolds ще изнесе Людмила Каменова (Stony Brook University, USA). Резюме. A projective manifold is algebraically hyperbolic if the degree of any curve is bounded from above by its genus times a constant, which is independent from the curve. This is a property which follows from Kobayashi hyperbolicity. We prove that hyperkahler manifolds are not algebraically hyperbolic when the Picard rank is at least 3, or if the Picard rank is 2 and the SYZ conjecture on existence of Lagrangian fibrations is true. We also prove that [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 15.03.2021 г. от 14:30 ч. в зала 278. Доклад на тема  Обобщения на понятията умножение и триъгълник и на една геометрична теорема на Максуел   ще изнесе доц. Бойко Банчев Адрес за дистанционно участие в семинара: https://meet.jit.si/didmod-15-3-2021

На 18 март 2021 г. (четвъртък) от 14:00 часа ще се проведе семинар на секция "Математическо моделиране и числен анализ" в системата Zoom. Доклад на тема Апроксимация на параметрични модели за растеж и еволюция на тумори по метода на редуцирания базис ще изнесе доц. Петър Рашков. Абстракт: Ще направя кратко въведение в метода на редуцирания базис (МРБ) за намиране на приближени решения на параметрични ЧДУ, дискретизирани по метода на крайните елементи. Ще бъдат представени два класически подхода за построението на базиса: правилно ортогонално разлагане (POD) и алчен алгоритъм. За да бъде използван пълноценно, алчният алгоритъм трябва да бъде придружен от оценка на грешката на апроксимация на численото решение с решението по МРБ. Направен е теоретичен анализ върху апостериорната оценка на грешката за две параметрични [...]

На 19 март 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some applications of transfinite numbers to algebra and some applications of number theory to transfinite numbers ще изнесе Andreas Weiermann (Ghent University, Belgium). Резюме. In the first part we will survey the role of transfinite numbers in the study of Hilbert's basis theorem and its extension by MacLagan. To this end we associate ordinals to some natural well partial orderings related Cartesian products of the set of natural numbers and we apply this apparatus to monomial ideals in F[X_1,...,X_n] where F is a field. In the second part we use the machinery of Tauberian theorems to prove some structural results about transfinite [...]

На 26 март 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Some axioms about rationality in infinite concurrent multiplayer games with ordered objectives and temporary coalitions in QCTL* ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. Temporal winning conditions appear in both terminating and infinite games. Reachability (guarantee) winning conditions appear in terminating games. Safety conditions and conditions higher up in the (Manna & Pnueli, 1989) hierarchy appear in non-terminating games. In a multiplayer game, the latter classes of winning conditions are natural to drive players into forming permanent coalitions as the longevity of a coalition needs to match the duration of its agenda, which may take entire infinite plays to implement. However, a [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 29.03.2021 г. от 14:30 ч. в зала 278. Доклад на тема  Анализ на педагогически практики на ръководители на школи по математическа лингвистика - изследване на случаи ще изнесе ас. Веселин Златилов Стамов Join Zoom Meeting https://us02web.zoom.us/j/81081205303?pwd=ZVY5RU40Q09KVjdwWGhIOGpMQ1Bydz09 Topic: Семинар Дидактическо моделиране Time: Mar 29, 2021 14:00 Sofia Meeting ID: 810 8120 5303 Passcode: 030043  

Семинарът  Problems and Methods Related to Coding Theory, организиран от ИМИ - БАН, Секция “Математически основи на информатиката”,  Novosibirsk State University, Novosibirsk, Russia, и  Sobolev Institute of Mathematics, Siberian Branch of  the Russian Academy of Sciences, Novosibirsk, Russia Ви кани на поредната си сбирка, на която Assist. Prof. Ivan Mogilnykh, Novosibirsk State University, ще изнесе доклад на тема: Completely regular codes in Johnson and Grassmann graphs Abstract. Completely regular codes in Johnson and Grassmann graph are interrelated with t-designs. In this talk we give an introduction to these codes and discuss several old and recent results. Martin noted that any (k-1)-(n,k,1)-design D is a completely regular code in the Johnson graph J(n,k). Avgustinovich and Mogilnykh showed that {B:|B|=k+1, B does not contain any blocks of D} [...]

Секция „МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА“ организира семинар по проект „Стратегии за подобряване на качеството на моделите, намерени от алгоритми за машинно обучение с приложение към квантовата томография“. Доклад ще изнесат: Виолета Иванова-Ролинг и Никлас Ролинг на тема: Quantum state tomography as a numerical optimization problem Абстракт: We present a framework that formulates the quest for the most efficient quantum state tomography scheme as an optimization problem which can be solved numerically. This approach can be applied to a broad spectrum of relevant setups including measurements restricted to a subsystem. To illustrate the power of this method we present results for the six-dimensional Hilbert space constituted by a qubit-qutrit system, which could be realized e.g. by the N-14 nuclear spin-1 and two electronic spin states [...]

На 9 април 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Universal tensor categories and “algebraic functional analysis” ще изнесе Иван Пенков (Jacobs University Bremen, Germany). Резюме. In this talk I will outline the construction of some tensor categories generated by two objects X, Y with a pairing X\otimes Y → 1 to the monoidal unit 1. These categories are categories of representations of certain infinite-dimensional Lie algebras, and they turn out to be universal in a sense which will be explained in the talk. The interpretation of Y as a dual space to X allows an analogy with functional analysis. Joint work with A. Chirvasitu, based on earlier joint work with V. [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 12.04.2021 г. от 14:30 ч. в зала 278. Доклад на тема За селекцията и подготовката на отбора, заел първо място на МБОМ 2020 ще изнесе доц. Ивайло Кортезов. Join Zoom Meeting https://us02web.zoom.us/j/89449724928?pwd=YTNJN2lTRjllUjlPMTVIek1XUURYdz09 Topic: Семинар по Дидактическо моделиране Time: Apr 12, 2021 14:00 Sofia Meeting ID: 894 4972 4928 Passcode: 654739    

На 16 април 2021 г. (петък) от 16:00 часа ще се проведе встъпителна академична лекция на доц. Веселин Филев (ИМИ-БАН) на тема Холографски принцип – формулировка и приложения    Резюме. Ще разкажа за аргументите довели до формулирането на холографския принцип и неговата реализация в суперструнната теория чрез AdS/CFT съответствието. Ще опиша приложенията на холографския принцип за изучаването на конфайнмънт, спонтанно нарушение на симетрията и нови агрегатни състояния на силно взаимодействащата материя. Лекцията ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09   Time: Apr 16, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/  

На 23 април 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On Krull dimension of Noetherian super-rings   ще изнесе Alexandr Zubkov (United Arab Emirates University, Al Ain, UAE and Sobolev Institute of Mathematics (Omsk branch), Omsk, Russia). Абстракт: The notion of Krull dimension plays crucial role in the algebraic geometry and in the theory of commutative rings. It seems quite natural to define such a notion for (supercommutative) super-rings in order to develop the algebraic supergeometry in more or less systematic way, similar to the classical case. This talk is partially based on the recent joint work with A. Masuoka (published in JPAA) and new results (yet unpublished). Семинарът ще се проведе посредством платформата [...]

На 29 април 2021 г. (четвъртък) от 15:00 часа ще се проведе встъпителна академична лекция на доц. Петър Данчев (ИМИ-БАН) на тема Комутативни групови пръстени и абелеви групи Резюме. Разгледани са различни специални въпроси от теорията на комутативните групови пръстени и абелевите групи, като се дават пълни решения на някои от тях, като по този начин също се обобщават и редица класически резултати в тези направления. Лекцията ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Time: Apr 29, 2021 03:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/ ============================== =====================

Националният семинар по стохастика организира съвместна сбирка с Department of Mathematics (University of Extremadura, Spain) на 5 май 2021 г. от 15 часа в платформата Zoom. Доклад на тема Continuous-time Controlled Branching Processes ще изнесе Manuel Molina Fernández (Department of Mathematics and Institute of Advanced  Scientific Computation, University of Extremadura, Spain). Абстракт: Classical branching processes with independent individual evolutions have been extensively studied in the literature. It is well known that in many real situations, the evolutions of the individuals are not independent. Several approaches to modeling dependent evolutions have been investigated. In particular, controlled branching processes constitute a broad class of integer-valued discrete-time Markov models where the population size in every generation could be randomly regulated before the reproduction by an emigration of [...]

На 7 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Върху степента на зависимост между две събития ще изнесе Валентин Илиев. Резюме. Дефинира се степен на зависимост между две събития А и В във вероятностно пространство чрез ентропията на Болцман-Шенън на вероятностно разпределение получено от тези събития и зависещо от един параметър, който се мени във затворен интервал I. Важният частен случай на вероятностно пространство, в което всички елементарни събития са равно вероятностни, мотивира тази дефиниция. Функцията на ентропия има глобален максимум точно когато събитията А и В са независими. Тази функция достига минимум в левият край на интервала I, точно когато А е подмножество на допълнението на В или допълнението на [...]

Поредната сбирка на семинарадид Дидактическо моделиране ще се проведе на 10.05.2021 г. от 14:30 ч. присъствено в зала 478 и дистанционно . Доклад на тема Един различен поглед към НВО по математика в  7. клас ще изнесе ас. Мария Браухле. Join Zoom Meeting https://us02web.zoom.us/j/88980822958?pwd=aWdoQ0xmYk0zL01udTIwcGltaUQxdz09 Meeting ID: 889 8082 2958 Passcode: 533270  

На 14 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Non-finitely based and limit varieties of algebraic systems ще изнесе Веселин Дренски. Резюме. A variety of algebraic systems is non-finitely (or infinitely) based if it does not have a finite basis of identities. It is just-non-finitely based (or limit) if it is non-finitely based but all its proper subvarieties are finitely based. By the Zorn lemma every variety without a finite basis of identities contains a just-non-finitely based subvariety. We survey results on non-finitely based varieties of groups, semigroups and on associative, Lie and nonassociative rings and algebras. We also present examples of just-non-finitely based varieties of nonassociative algebras and varieties of [...]

На 21 май 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Group gradings on incidence algebras ще изнесе Ednei Aparecido Santulo Jr. (Universidade Estadual de Maringá, Paraná, Brazil). Резюме. This is a joint work with Felipe Y. Yasumura and Jonathan P. Souza. The main goal of this talk is presenting the classification of group gradings on incidence algebras as obtained in [2]. To do so, we start by defining incidence algebras and emphasizing their resemblances and differences relative to the algebra of upper triangular matrices. We recall the classification of group gradings on the algebra of upper triangular matrices with entries in a field obtained by Di Vincenzo, Koshlukov and Valenti in [1] [...]

На 27 май 2021 г. (четвъртък) от 14:00 часа ще се проведе семинар на секция "Математическо моделиране и числен анализ" в системата Zoom. Доклад на тема Сравнение между два числени метода за решаване на двумерното парадигматично уравнение на Бусинеск ще изнесе Красимир Ангелов. Time: May 27, 2021 14:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/87097042675?pwd=TTJmV201VDJGWEd3a0dGYnVOaTNudz09 Meeting ID: 870 9704 2675 Passcode: 218907  

На 28 май 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара "Алгебра и логика". Доклад на тема Ranks of Monoids of Endomorphisms, Partial Automorphisms and Injective Partial Endomorphisms of a Finite Undirected Path ще изнесе Илинка Димитрова (ЮЗУ "Неофит Рилски, Благоевград). Докладът е съвместен с Vitor H. Fernandes (Universidade Nova de Lisboa, Caparica, Portugal), Jörg Koppitz (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences), Teresa M. Quinteiro (Universidade Nova de Lisboa, Caparica, Portugal). Резюме Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: May 28, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647   От секция „Алгебра [...]

На 31 май 2021 г. (понеделник) от 14:00 часа ще се проведе семинар на секция "Математическо моделиране и числен анализ" в приложението Zoom. Доцент Петър Рашков ще представи доклад на тема Viable controls in models for vector-borne diseases IMI BAS is inviting you to a scheduled Zoom meeting. Topic: Петър Рашков - Viable controls in models for vector-borne diseases Time: May 31, 2021 14:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/83946061001?pwd=c2Q4eFJwbmQ0dkYzbkRlY0dNSGdLZz09 Meeting ID: 839 4606 1001 Passcode: 743506    

На 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. Поканват се всички заинтересовани колеги и гости.