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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

На 9 септември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Timing delays in cyber-physical systems ще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences ISCAS, China). Абстракт. With the rapid development of feedback control, sensor techniques and computer control, time delay has become an essential feature of cyber-physical systems (CPSs), underlying both the continuous evolution of physical plants and the discrete transition of computer programs, which may well annihilate the stability/safety certificate and control performance of CPSs. In the safety-critical context, automatic verification and synthesis methods addressing time-delay in CPSs should therefore abound. However, surprisingly, they do not, although time-delay has been extensively studied in the literature of mathematics [...]

На 16 септември 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Almost Prime Ideal and Almost Prime Radical ще изнесе Alaa Abouhalaka (Çukurova University, Adana, Turkey). Абстракт. In this talk, we introduce the concept of almost prime (right) ideals in noncommutative rings and provide some equivalent definitions and new results. Also we introduce the concept of almost prime radical of an ideal. References: [1] M.S. Bhatwadekar, P. K. Sharma, Unique factorization and birth of almost primes, Comm. Algebra, 33(1), 43-49, (2005). [2] W.D. Blair, H. Tsutsui, Fully prime rings, Comm. Algebra, 22(13), 5389-5400, (1994).   Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: [...]

На 19 септември 2022 г. от 14:00 в Заседателната зала на ИМИ - БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката" с доклад на тема On the minimal sum of edges in a signed edge-dominated graph Докладчик ще бъде д-р Данила Черкашин. Абстракт Поканени са всички желаещи.  

На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”. Доклад на тема: Геометрия и логика в квантовите изчисления ще изнесе Николай М. Николов (ИЯИЯЕ-БАН). Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като "Квантова логика" (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще [...]

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

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

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

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

На 21 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Ranks and Presentations for Order-Preserving Transformations with One Fixed Point ще изнесе Jörg Koppitz (съвместна работа със S. Worawiset). Абстракт. We consider the semigroup (no monoid) of all order-preserving full transformations α on an n-element chain Xn = {1 < 2 …< n}, where p is the only fixed point in α, for some given p ∈Xn, denoted by On,p. This semigroup is nilpotent. In particular, the semigroup On,1 (i.e. p = 1) is already well studied, since it is the maximal nilpotent subsemigroup of the Catalan monoid. But the semigroup On,p is still not well studied for p > 1 [...]

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

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

На 28 октомври 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Gabbay Separation for the Duration Calculus ще изнесе Димитър Гелев (ИМИ - БАН). Абстракт. Gabbay's separation theorem about linear temporal logic (LTL) with past has proved to be one of the most useful theoretical results in temporal logic. Is expressive power ultimately affected, if past constructs are not allowed in the scope of future ones, or vice versa? Separation implies that it does not, and also provides a technically convenient normal form for temporal conditions. Interval Temporal Logic (ITL) and the Duration Calculus (DC) are interval-based logics. Unlike LTL, they are based on modalities which allow reference to subintervals of the reference [...]

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

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

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

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

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

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

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

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

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

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

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

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

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

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