Institute of Mathematics and Informatics

Семинар по геометрия на МЦМН
2024-01-24 16:00 - 17:30 (Europe/Sofia) | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Следващата сбирка на Семинара по геометрия на МЦМН
ще се проведе в сряда, 24 януари 2024 г. от 16:00 ч. в зала 403 и онлайн в Zoom:
Доклад на тема
Introduction to Derived Algebraic Geometry and deformation theory

ще изнесе Инди Чин, ИМИ – БАН.

Zoom link:

https://us02web.zoom.us/j/83740034721?pwd=[REDACTED]

Национален семинар по стохастика
2024-01-24 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на
Националния семинар по стохастика
ще се проведе на 24 януари 2024 г. (сряда) от 14:00 часа в зала 503 на ИМИ – БАН.
Доклад на тема
Wave field source localization using antenna arrays as a statistical problem of multidimensional linear system parameter estimation
ще изнесе
Alexander Varypaev (Национален институт по геофизика, геодезия и география, БАН).
Абстракт. The problem of statistical estimation of the coordinates of wave field sources from observations masked by additive random noise is considered. A likelihood-based estimate of source parameters is proposed for an unknown deterministic source function and additive noise correlated in time and space. The property of this estimate to suppress spatially correlated noise is mathematically justified. A statistical justification for the currently popular and robust SRP-PHAT M-estimate of the unknown source parameter is provided. Using the method of independent Monte Carlo tests, several M-estimates of source coordinates are compared for different additive noise properties.

Общо събрание на учените и НС на ИМИ–БАН
2024-01-24 11:00 - 13:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Съгласно т. 4.2 от Правилника за дейността на ИМИ,
на 24.01.2024 г. (сряда) от 11:00 часа в зала 055 “Акад. Стефан Додунеков”, етаж -1 на ИМИ,
ще се проведе съвместно заседание на Общото събрание на учените в ИМИ и на Научния съвет на ИМИ при следния дневен ред:
1.Приемане на научноизследователския и финансовия отчет за дейността на ИМИ през 2023 година.
2. Разни.
Членовете на ОСУ и НС на ИМИ са задължени да присъстват на събранието. Справка за членство в Общото събрание на учените в ИМИ може да бъде направена при Галя Стоянова, стая 215 в ИМИ, тел. 3819. Предложения за протоколчик, участие в комисия за преброяване и промени в дневния ред на събранието се приемат също от Галя Стоянова. Председател на НС на ИМИ: акад. дмн О. Мушкаров Председател на ОСУ в ИМИ: проф. д-р Е. Попова

Общ семинар на секция "Анализ, геометрия и топология"
2024-01-23 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредното заседание на Общия семинар на секция “Анализ, геометрия и топология” ще се проведе
на 23 януари 2024 г. от 14:00 часа в зала 478 на ИМИ – БАН.
Доклад на тема:
Complex Dirac structures on flag manifolds
ще изнесе Carlos Augusto Bassani Varea, Universidade Tecnológica Federal do Paraná, Brazil.
Поканват се всички интересуващи се.
Резюме. In this talk we present a description of the invariant complex Dirac structures with constant real index on a maximal flag manifold in terms of the roots of the Lie algebra which defines the flag manifold. As a particular case, when the real index is zero, we have the description of all invariant generalized complex structures on a maximal flag manifold. We also present a classification of the complex Dirac structures under the action of B-transformation. This is a joint work with Cristian Ortiz (IME-USP).

Встъпителна лекция на доц. Стою Баров
2024-01-22 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 22 януари 2024 г. (понеделник) от 13:00 ч. в зала 478 на ИМИ-БАН
доц. Стою Баров ще изнесе встъпителна академична лекция на тема:
Върху затворени множества с изпъкнали проекции в сепарабелни Хилбертови пространства
Абстракт: Дискутират се затворени множества в (R^n) и в Хилбертово пространство (l^2), които имат изпъкнали проекции върху всички хиперравнини. Наред с други теореми, показваме че ако (C) е затворено и неизпъкнало подмножество на (l^2), такова че затворените обвивки на проекциите върху всички хиперравнини са изпъкнали и съществени, то тогава (C) съдържа затворено топологично копие на (l^2).

Встъпителна лекция на проф. дн. Петър В. Данчев
2024-01-19 15:30 - 16:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 19.01.2024 г., петък, от 15:30 часа, в Зала 503 на ИМИ-БАН
ще се състои встъпителната лекция на проф. дн. Петър Василев Данчев на тема:
Разлагане на матрици над произволно поле като сума на периодични матрици и нилпотентни матрици от ред 2

Съвместно заседание на Семинара на секция „Алгебра и логика” и Семинара на МЦМН
2024-01-18 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 18 януари 2024 г. (четвъртък) от 13:00 часа в зала 403 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе съвместно заседание на
Семинара на секция „Алгебра и логика”
и Семинара на Международния център по математически науки към ИМИ-БАН.
Доклад на тема
Nilpotent algebras, groups and beyond
ще изнесе Yuri Bahturin (Memorial University of Newfoundland, Canada) (joint work with Alexander Olshanskii).
Абстракт: We study various correspondences between finite-dimensional nilpotent algebras and (quasi)groups similar to those given by the circle product in the case of associative algebras or by the Baker-Campbell-Hausdorff formulas in the the case of Lie algebras or their generalizations. In the particular case of Malcev’s correspondence, we obtain some new results about groups using Lie algebras and vice versa.
Линк към zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Поканват се всички желаещи да присъстват.
От секция „Алгебра и логика” и МЦМН
http://www.math.bas.bg/algebra/seminarAiL/
https://icms.bg/category/icms-seminar/
===================================================

Семинар "Математически основи на информатиката" във Велико Търново
2024-01-17 16:00 - 17:30 | Великотърновски университет, ул. "Теодосий Търновски" № 2, Велико Търново, 5005, Bulgaria
Сбирка на семинара “Математически основи на информатиката” ще се проведе във Велико Търново на 17 януари (сряда) от 16 часа в зала 502 на ФМИ – ВТУ.
Доклад на тема
Build your own digital device, even a multicore and multithreaded icrocontroller with FPGA
ще изнесе Душан Биков, Университет „Гоце Делчев“ – Щип.
Резюме: The use of Field-Programmable Gate Arrays (FPGAs) plays an essential role in providing flexibility for digital design. We then delve into practical insights on utilizing and constructing Intellectual Property (IP) cores within the FPGA framework.
In addition to this, a new type of multithreaded and multicore microcontroller will be presented. The aim is to provide more computing power for embedded applications. Through parallelism, the microcontroller can run multiple tasks, either independently or cooperatively. Parallelism is handled through multithreading, which is better suited to real-time constraints than more traditional interruptions. The microcontroller Instruction Set Architecture (ISA) is the open-source RISC-V RV32I. A short efficiency experiment evaluation will be presented.

Семинар на МЦМН
2024-01-16 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Дата: 16.01.2024 г., 14:00 ч.
Място: Зала 403, ИМИ – БАН
Докладчик: Carlos Varea (Universidade Tecnológica Federal do Paraná – Campus Cornélio Procópio, Brazil)
Доклад: The H-flux on flag manifolds generated by infinitesimal T-duality
Допълнителна информация: https://icms.bg/the-h-flux-on-flag-manifolds-generated-by-infinitesimal-t-duality-talk-by-carlos-varea/
Резюме. In this talk we present a new correspondence for pairs ((mathbb{F},H)) formed by a flag manifold (mathbb{F}) together with an $H$-flux on (mathbb{F}). Given its role within our correspondence, infinitesimal (T)-duality may be viewed as a source of (H)-flux, in the sense that it contributes towards taking fluxless pairs ((mathbb{F},0)) to pairs ((mathbb{F}^vee, H^vee)) carrying nontrivial flux (H^vee
eq 0). We also illustrate how our correspondence exchanges complex structures with symplectic ones up to (B)-transformations. This is a joint work with Elizabeth Gasparim and Lino Grama.

Семинар "Дидактическо моделиране"
2024-01-15 14:30 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара
Дидактическо моделиране
ще се проведе на 15.01.2024 г. от 14:30 ч. в зала 278 на ИМИ.
Доклад на тема
Методиката на Бхаскара “Гледай!”
ще изнесe
проф. Иван Тонов.

Семинар на МЦМН
2024-01-11 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Дата: 11.01.2024 г., 14:00 ч.
Място: Зала 403, ИМИ – БАН
Докладчик: д-р Антони Рангачев, ИМИ – БАН
Доклад: The Milnor number of a smoothable curve
Допълнителна информация: https://icms.bg/the-milnor-number-of-a-smoothable-curve-talk-by-antony-rangachev/
Резюме. In this talk I will derive an algebraic formula for the Milnor number of a smoothable complex analytic curve singularity X by relating it to the Euler characteristic of its smoothing, which in turn I will relate to the multiplicity of the Jacobian ideal of X and and the multiplicity of X at its singular point. If time permits I will discuss generalizations to higher dimensions. This is a report on a joint work with Gaffney and Bengus-Lasnier.

Семинар на МЦМН
2024-01-09 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Дата: 09.01.2024 г., 14:00 ч.
Място: Зала 403, ИМИ – БАН
Докладчик: д-р Антони Рангачев, ИМИ – БАН
Доклад: Stratified Morse theory and the critical locus of a linear functional
Допълнителна информация: https://icms.bg/stratified-morse-theory-and-the-critical-locus-of-a-linear-functional-talk-by-antony-rangachev/
Резюме. In this talk I will use stratified Morse theory to relate the number of critical points of a generic linear functional on a complex analytic manifold M to the Euler characteristics of M and a generic hyperplane slice of M.

Семинар "Алгебра и логика"
2024-01-08 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 8 януари 2024 г. (понеделник) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
On the exceptional series and its siblings
ще изнесе
Bruce Westbury (retired from University of Warwick, UK).
Абстракт. The exceptional series is the following series of eight simple Lie algebras:
A1, A2, G2, D4, F4, E6, E7, E8
Consider each Lie algebra, g, as a representation of the group Aut(g). Then the centraliser algebras of the first five tensor powers of g have common structure. First, they have the same branching rules. We introduce a parameter so that the exceptional series is a set of eight points on a line. Then the values of the quadratic Casimir are linear functions of this parameter and the dimensions are rational functions of this parameter.
The exceptional series is one row in the Freudenthal magic square and all the preferred representations for each row also have analogous common structure. These series are lines. I will give a broad context for this common structure.
There is a plane which contains the first and fourth rows of the magic square and a three-dimensional space which contains the Vogel plane.
Линк към Zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================

Годишна отчетна сесия на секция "Математическа лингвистика"
2023-12-22 10:00 - 13:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишна отчетна сесия
на секция „Математическа лингвистика“ при ИМИ-БАН
22.12.2023 г., 10:00 ч.
10:00 – 10:15 Иван Держански, Олена Сирук,от
Българските неопределителни местоимения с елемента си и съответствията им в украински език
10:15 – 10:30 Александра Николова,
Интерактивно обучение и сериозни игри
10:30 – 10:45 Иван Крачанов,
Игровизиран краудсорсинг в помощ на семантичната трансформация на дигиталните библиотеки
10:45 – 11:00 Галина Богданова, Тодор Тодоров, Николай Ноев,
Дигитална достъпност за хора със специални потребности: проучвания, концепции и модели
11:00 – 11:15 Евгения Николова,
Стандарти за дигитализация на културно-историческото наследство и тяхната роля в правната сигурност
11:15 – 11:30 Емануела Митрева,
Подходи за персонализация при изучаване на културното наследство
11:30 – 11:45 Десислава Панева-Маринова, Максим Гойнов, Радослав Павлов, Детелин Лучев,
CultIS: софтуерна платформа за интелигентно цифрово управление и представяне на големи масиви от данни и знания от областта на културата, хуманитаристиката и социалните науки – разработка и внедрявания
11:45 – 12:00 Константин Рангочев, Максим Гойнов, Детелин Лучев,
Енциклопедия Slavica Sanctorum – нови наблюдения
12:00 – 12:15 Мария Монова-Желева, Янислав Желев,
Подпомагане на прехода към зелено бъдеще чрез университетски курсове за микроквалификации в областта на Европейски и международни зелени секторни/индустриални стандарти

Отчетна сесия на секция ДУМФ
2023-12-20 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 20.12.2023г. в зала 478 на ИМИ ще се проведе
ОТЧЕТНА СЕСИЯ
на секция ДУМФ
14:00 – 14:15 Чл.-кор. дфн Стойчо Язаджиев:
Black hole no-hair theorem for self-gravitating time-dependent spherically symmetric multiple scalar fields
14:14 – 14:30 Доц. д-р Тихомир Вълчев
Квазирационални решения на едно интегруемо обобщение на уравнението за феромагнетика на Хайзенберг
14:40 – 14:45 Доц. д-р Александър Стефанов:
New type of dNLS equations related to Kac-Moody algebra A2(1)
14:45 – 15:00 Мат. д-р Милен Иванов:
contact defects / анализ на данни за американските консули 1776-1865
15:00 – 15:15 Доц. д-р Георги Бояджиев:
Пространствено-зависим SEIR модел в епидемиологията.

Годишна отчетна сесия на секция "Изследване на операциите, вероятности и статистика"
2023-12-19 10:00 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишната отчетна сесия на секция
Изследване на операците, вероятности и статистика
ще се проведе на 19 декември 2023 г. (вторник) от 10:00 ч. в зала 503 на ИМИ-БАН.
ПРОГРАМА
Първа част
10:00 – 10:20 Драгомир Неделчев
Exploiting the gap between real-world and risk-neutral probability measures
10:20 – 10:40 Христо Сариев
Different characterizations of exchangeable measure-valued Pólya urn sequences
10:40 – 11:00 Михаил Кръстанов, Надежда Рибарска
Необходими условия за оптималност, използващи мерки за некомпактност
11:00 – 11:20 Цветелин Заевски
Относно някои композитни Американски опции
11:20 – 11:40 Марусия Божкова, Николай Янев
Многотипни разклоняващи се процеси с нехомогенна имиграция
11:40 – 12:00 Младен Савов
Факторизация на Винер-Хопф
Втора част
13:00 – 13:20 Пенка Майстер, Асен Чорбаджиев
Total progeny of the Negative-Binomial reproduction of particles described by the Wright function
13:20 – 13:40 Цветомир Цачев
Optimal control of COVID-19 spread
13:40 – 14:00 Огнян Кунчев
Приложения на тензорите в съвременния Анализ на данни
14:00 – 14:20 Боян Стефанов
A Sufficient Optimality Condition for a Discrete-Time Optimal Control Problem
14:20 – 14:40 Детелина Камбурова
Long orbit or empty value principle in premetric spaces
14:40 – 15:00 Златогор Минчев
Future of Smart Cities Security Transcendents Modelling & Identification
15:00 – 15:20 Евгения Стоименова
Състоятелност на статистически критерии основани на статистики на превъзхождане
15:20 – 15:40 Николай Китанов
Схеми за усредняване при импулсни управляеми системи

Годишна отчетна сесия на секция ОМИ
2023-12-18 13:00 - 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишната отчетна научна сесия на секция
Образование по математика и информатика
ще се проведе на 18 декември 2023 г. от 13:00 ч.
в зала 478 на Института по математика и информатика на БАН.
ПРОГРАМА

Четвърта международна конференция Women in Mathematics in South-Eastern Europe
2023-12-18 09:00 - 2023-12-20 18:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
International Center for Mathematical Sciences – Sofia (ICMS-Sofia)
и
Institute of the Mathematical Sciences of the Americas at the University of Miami (IMSA)
организират
Четвърта международна конференция
Women in Mathematics in
South-Eastern Europe

Една от основните цели, които си поставят организаторите на конференцията, е да създадат нови дългосрочни сътрудничества между учените в Югоизточна Европа. Очаква се със своето участие жените математици да привлекат вниманието на млади изследователи и на изследователи от по-слабо развити страни.
Информация за всички участници, както и заглавия и абстракти на техните доклади, може да намерите тук https://icms.bg/fourth-international-conference-women-in-mathematics-in-south-eastern-europe/

Годишна отчетна сесия на МЦМН
2023-12-15 13:00 - 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Oтчетната сесия на Международния център по математически науки (МЦМН) ще се проведе на 15.12. 2023 г. от 13:00 часа в зала 403 на ИМИ-БАН.

Програма

13:00-13:15 Oleg Mushkarov, Opening remarks
13:15-13:30 Valdemar Tsanov, On nonconvexity of momentum maps
13:30-13:45 Mikhail Shkolnikov, Exact solutions in harmonic sandpile dynamics
13:45–14:00 Break
14:00-14:15 Andrei Bengus-Lasnier, Computing Milчетна чnor numbers with multiplicities for curves
14:15-14:30 Antoni Rangachev, Flat families of curves
14:30-14:45 Jiachang Xu, Aspects of non-Archimedean geometry
14:45-15:00 Break
15:00-15:15 Maryam Bajalan, Polycyclic and multivariable codes over finite rings
15:15-15:30 Hamed Pejhan, Wigner’s elementary systems in de Sitter spacetime and their holographic interpretation
15:30-15:45 Break
15:45–16:00 Yingdi Qin, Atiyah sequence and Connection on Lie groupoid
16:00-16:15 Dimitar Kodjabachev, Picard groups, Galois descent and TMF

Годишна отчетна сесия на секция "Алгебра и логика"
2023-12-15 09:55 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Отчетната сесия на секция “Алгебра и логика” за 2023 година
ще се проведе на 15 декември от 9:55 часа в зала 578 на ИМИ-БАН
и онлайн чрез платформата zoom.
Линк към zoom-стаята на сесията:
https://us02web.zoom.us/j/88421224798?pwd=[REDACTED]
ПРОГРАМА
9:55 – 10:00 Opening
10:00 – 10:30 Ivan Chipchakov: Diophantine and cohomological dimensions of fields
10:30 – 10:50 Elitza Hristova: Some new results on the GL(n)-module structure of relatively free algebras and applications to noncommutative invariant theory
10:50 – 11:00 Break
11:00 – 11:30 Hristo Iliev: On the Tschirnhausen module of multiple coverings and some applications
11:30 – 11:50 Veselin Filev: A Sampling Approach for Tackling Large-Scale Linear Optimization Problems
11:50 – 11:55 Break
11:55 – 12:15 Marin Genov: Some Aspects of Holomorphy over Finite-Dimensional Commutative Algebras
12:15 – 12:35 Yacine Barhoumi-Andreani: Max-independence structures in random partitions of an integer
12:35 – 13:30 Lunch Break
13:30 – 13:50 Petar Iliev: There are no Sahlqvist formulae containing at most a logarithmic number of variables that define the n-density or the n-width of Kripke frames
13:50 – 14:10 Tatyana Ivanova: The fragment of elementary plane Euclidean geometry based on perpendicularity alone – a complete axiomatization
14:10 – 14:25 Vilislav Boutchaktchiev: Methods for estimation of the Inferred Loss Given Default of credit portfolios

Годишна отчетна сесия на секция "Математическо моделиране и числен анализ"
2023-12-14 10:00 - 13:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишната отчетна сесия на секция “Математическо моделиране и числен анализ”
ще се проведе на 14.12.2023 – четвъртък, в зала 503 от 10:00 часа.
Посвещава се на паметта на проф. дмн Светослав Марков (1943-2023)

Програма

10:00 -10:20 Михаил Кръстанов, Маргарита Николова, “A sufficient condition for small-time local controllability”
10:20 -10:40 Петър Рашков, Владимира Суванджиева, “Модел на НЕТоза в ранния стадий на Systhemic Lupus Ertyhematosus”
10:40 -11:00 Ирина Георгиева, Clemens Hofreither, “Computation of polynomial and rational approximations in complex domains”
11:00-11:20 Кафе пауза
11:20- 11:40 Евгения Попова, “Chemical reaction networks in terms of proper and directed intervals”
11:40- 12:00 Иван Бажлеков, “Fractional derivatives in the mathematical modelling II.”
12:00- 12:20 Невена Илиева-Литова, “Моделиране на зарядовата зависимост на биологичната активност на линейни антимикробни пептиди”
12:20-12:40 Милен Борисов, Станислав Харизанов, “Application of the Least-Squares Method to semiautomatic orientation of 3D objects”
12:40-13:00 Евгения Сендова, “За Свети с усмивка през сълзи”

Семинар по геометрия на МЦМН
2023-12-13 16:00 - 17:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Следващата сбирка на Семинара по геометрия на МЦМН
ще се проведе в сряда, 13 декември 2023 г. от 16:00 ч. в зала 403 и онлайн в Zoom:
Доклад на тема

Valuations of Higher Rank
ще изнесе Андрей Бенгуш-Ласние, Международен център по математически науки (МЦМН – София).

Zoom link:

https://us02web.zoom.us/j/83740034721?pwd=[REDACTED]

Семинар по геометрия на МЦМН
2023-12-06 16:00 - 17:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Следващата сбирка на Семинара по геометрия на МЦМН
ще се проведе в сряда, 6 декември 2023 г. от 16:00 ч. в зала 403 и онлайн в Zoom:
Доклад на тема

Introduction to tropical modifications (II)
ще изнесе Никита Калинин, Международен център по математически науки (МЦМН – София).

Zoom link:

https://us02web.zoom.us/j/83740034721?pwd=[REDACTED]

Национален семинар по стохастика
2023-12-06 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на
Националния семинар по стохастика
ще се проведе на 6 декември 2023 г. (сряда) от 14:00 часа в зала 503 на ИМИ – БАН.
Доклад на тема
Brownian Motion Conditioned to Spend Limited Time Outside a Bounded Interval – An Extreme Example of Entropic Repulsion
ще изнесе
Dominic Т. Schickentanz (TU Darmstadt).
Абстракт. We condition a Brownian motion on (mathbb{R}_{ge 0}) on spending a total of at most (s>0) time units outside a bounded interval. We describe the resulting process in terms of an SDE and discuss the surprising result in the context of entropic repulsion. Moreover, we explicitly determine the exact asymptotic behavior of the probability that a Brownian motion on ([0,T]) spends limited time outside a bounded interval, as (Tto infty).
This is joint work with Frank Aurzada (TU Darmstadt) and Martin Kolb (Paderborn Uni)

Семинар на МЦМН
2023-12-05 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Дата: 05.12.2023 г., 14:00 ч.
Място: Зала 403, ИМИ – БАН
Докладчик: Богдан Станков, ИМИ – БАН
Доклад: Recent developments in the study of Følner functions
Допълнителна информация: https://icms.bg/recent-developments-in-the-study-of-folner-functions-talk-by-bogdan-stankov/

Годишна отчетна сесия на секция "Анализ, геометрия и топология"
2023-12-04 13:00 - 16:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишната отчетна сесия на секция „Анализ, геометрия и топология“
ще се проведе на 4 декември (понеделник) от 13:00 ч. в зала 478 на ИМИ-БАН.
ПРОГРАМА

Семинар "Алгебра и логика"
2023-12-01 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 1 декември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”.
Доклад на тема:
Characterization of Ideals of Q-algebras Related to its G-part
ще изнесе
доц. Йорг Копиц, ИМИ – БАН.
Абстракт. In this presentation, we study the (G)-part of (Q)-algebras (X), i.e. the set (G(X)={xin X:0x=x}). We show that (G(X)) is an abelian group, whenever (G(X)) is an ideal and characterize all (Q)-algebras (X) such that (G(X)) is an ideal of (X). Moreover, we show that, up to isomorphism, there is only one (Q)-algebra (X) with (G(X)=X), which is only possible if (|X|=2^{k}) ((kin mathbb{N})).
Линк към Zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================

Научен семинар на ВНЗ "Информационно моделиране"
2023-11-28 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 28 ноември (вторник), от 14 ч., в зала 578 на ИМИ-БАН,
ще се проведе научен семинар на ВНЗ “Информационно моделиране”.
Доклад ще изнесе редовният докторант Светослав Хаджииванов на тема:
Revolutionizing .NET with the Actor Model: The End of Traditional Encapsulation?
Abstract: The actor model is revolutionizing the way we build applications by moving past the traditional idea of encapsulation in object-oriented programming. This model is perfect for today’s computers with multiple CPU cores, where old-school methods fall short, leading to race conditions and other concurrency issues. In this seminar, we’ll introduce you to the basics of this effective approach. Proto.Actor, our toolkit of choice, blends the strength of both new and time-tested practices, making it a solid fit for industries from banking to healthcare. We’ll dig into the actor model’s origins and its capacity for running many tasks smoothly and efficiently, ensuring our systems are reliable even when some parts fail.
За дистанционно включване:
Join Zoom Meeting
https://us02web.zoom.us/j/87619474903?pwd=[REDACTED]
Meeting ID: 876 1947 4903
Passcode: [REDACTED]

Семинар "Математическо моделиране и числен анализ"
2023-11-28 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Семинарът на секция “Математическо моделиране и числен анализ” ще продължи своята работа.
Дата: 28.11.2023 г., 14:00 ч.
Място: Заседателната зала на ИМИ – БАН
Тема: Приложение на математически и статистически модели и методи в областта на мониторинга на горите и земеделските земи с използване на данни от дистанционни изследвания
Докладчици: Проф. д-р Лъчезар Филчев,
гл. ас. д-р Десислава Ганева,
гл. ас. д-р Илина Каменова и
гл. ас. д-р Златомир Димитров
от ИКИТ-БАН
Резюме: Темата изследва как да се използват математически и статистически модели и методи за мониторинг на горите и земеделските земи с данни от дистанционни изследвания. Тя цели да се подобри управлението на екосистемите и хранителната сигурност чрез оценка на рисковете и възможностите, свързани с тези области. Тя има много приложения в областта на картографията, биометрията, агрономията и природозащитата.

Семинар "Алгебра и логика"
2023-11-24 13:00 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 24 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на който ще бъдат изнесени два доклада.
От 13:00 ч. Димитринка Владева (ИМИ-БАН) ще изнесе доклад на тема
Catalan numbers and additively idempotent semirings
От 14:00 ч. Русанка Луканова (ИМИ-БАН) ще изнесе доклад на тема
Semantics of Propositional Attitudes in Type-Theory of Algorithms

Заглавие: Catalan numbers and additively idempotent semirings
Абстракт. The purpose of the present talk is to provide new applications of remarkable Catalan numbers. In Richard Stanley’s book Enumerative Combinatorics, Volume II (Cambridge University Press) there are many combinatorial objects that are counted by the Catalan numbers as well as applications in graph theory, Young diagrams, lattice theory, real matrices, real polynomials and so on. We show applications of Catalan numbers in some additively idempotent semirings which appeared in my results in 5 papers published between 2011 and 2023.
The set of nilpotent endomorphisms in the endomorphism semiring of a finite chain is a semiring of order (n – 1)th Catalan number and is an ideal in another semiring of order n th Catalan number. The semiring of k th nilpotent endomorphisms, where 0 ≤ k ≤ n – 1 is of order a product of two Catalan numbers. By complex products of Catalan numbers we describe the roots of arbitrary idempotent of the endomorphism semiring of a finite chain.
In an additively idempotent semiring which is a generalization of the endomorphism semiring of a finite chain considered as a simplex we prove that the subsimplex of nilpotent elements is of order (n – 1) th Catalan number and it is closed under derivations which are projections of the simplex to some simplices.
In the last paper, 2023, we prove that an additively idempotent semiring which is an S0-semialgebra, where S0 is a commutative additively idempotent semiring, and with a finite basis of a special type is isomorphic to a matrix semiring. As a consequence we obtain two different semirings of upper triangular matrices over the Boolean semiring, which are of order (n + 1) th Catalan number.

Заглавие: Semantics of Propositional Attitudes in Type-Theory of Algorithms
Абстракт. Natural language (NL) is notorious for various kinds of ambiguities. Among the most difficult ones, for computational handling of NL, are expressions with multiple occurrences of quantifiers, which contribute to quantifier scope ambiguities. Far more difficult for computational linguistics are NL expressions having occurrences of so-called attitude components designating knowledge, believes, statements, and similar semantic information.
Often, the syntactic complement of an attitude lexeme is a sentential expression. The sentential complement may have subexpressions that designate semantic information belonging to varying scopes. Depending on context, some components can be semantic parts of the attitudinal information, which is in the scope of the propositional attitude, or external to it.
The first formal representation of NL attitudes was by Montague, 1973, along with the quantifier scope ambiguities, by the notions of extension and intension, and using extra-syntactic disambiguation of NL expressions. That approach, while unsatisfactory in important aspects, was adopted and adapted by some variants of Montague grammars, for specific purposes. The problem has been largely open, due to its purely semantic nature and computational difficulties, without direct syntactic appearance.
The semantic phenomena of attitudes include statements in natural language, including in the domains of mathematical texts and proofs.
In this presentation of a recent paper, I extend the type-theory of algorithms, to cover algorithmic semantics of some of the major attitude expressions and their semantic underspecification. I provide reduction calculus for deriving semantic specifications in contexts.

Линк към Zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================
