Institute of Mathematics and Informatics

Семинар по Приложна математика
2022-11-08 15:00 - 16:30 (Europe/Sofia) | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Първата сбирка на новоучредения
Семинар по приложна математика,
който е част от дейностите на програма ПИКОМ, ще се състои на 08.11.2022 от 15:00 в зала 503 на ИМИ.
Доклад на тема:
Решаване на оптимизационни задачи с квантови отгряващи компютри
ще изнесе проф. Христо Джиджев (ИИКТ-БАН).
Резюме: Квантовите отгряващи (quantum annealing) компютри (КОК), като тези на канадската компания D-Wave Systems Inc., използват квантови ефекти за търсене решения на задачи, които са трудни за решаване на класическите компютри. За разлика от по-известните универсални квантови компютри, КОК са специализирани да решават клас задачи от квадратична оптимизация, които включват всички NP-трудни задачи, като например задачата за максималната клика, оцветяването на графи, и задачата за търговски пътник. Благодарение на тази специализация, тези компютри разполагат с много по-голям брой кубити в сравнение със съществуващите универсални компютри и са по-лесни за програмиране и използване.
B този доклад ще направя кратък преглед на областта на квантовите изчисления, след което ще разгледам по-подробно устройството и начина на действие на КОК и как те могат да се използват за решаване на оптимизационни задачи. Ще използвам някои прости примери за илюстрация на методите и ще обсъдя някои трудности и предизвикателства при използването на КОК, както и методи за преодоляването им. Ще се опитам да представя материала по начин достъпен за хора без предварителна подготовка по квантова информация и квантови изчисления.
Фейсбук страница на семинара: Семинар по Приложна математика

Общ семинар на секция "Анализ, геометрия и топология"
2022-11-08 13:30 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредното заседание на Общия семинар на секция “Анализ, геометрия и топология” ще се проведе
на 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 (exhibiting infinitely many values in between the binomial coefficients) might be geometrically helpful and revealing [1]. We investigated in [2] some geometric properties of a continuous extension of Pascal’s triangle: Gauss curvature, mean curvature, geodesics and level curves, as well as their symmetries. As a next step [3], we investigate a surface related to one of the Catalan triangles presented in [4].
References:
[1] M. Jianu, L. Daus, M. Nagy, R.M. Beiu, Approximating the level curves on Pascal’s surface, International Journal of Computers, Communications & Control 17(4) (2022), art. 4865.
[2] V. Beiu, L. Daus, M. Jianu, A. Mihai, I. Mihai, On a surface associated with Pascal’s triangle, Symmetry 14(2) (2022), art. 411.
[3] M. Jianu, S. Achimescu, L. Daus, I. Mierlus-Mazilu, A. Mihai, D. Tudor, On a surface associated to Catalan triangle, submitted.
[4] L. Daus, M. Jianu, R.M. Beiu, V. Beiu, A tale of Catalan triangles – counting lattice paths, 9th International Workshop on Soft Computing Applications – SOFA 2020, 27-29 November 2020, Arad, Romania.
Funding: Work supported by the research project SUPREMA UTCB-CDI-2022-008 of the Technical University of Civil Engineering Bucharest.

Семинар "Дидактическо моделиране"
2022-11-07 14:30 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара
Дидактическо моделиране
ще се проведе на 07.11.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ.
Доклад на тема
Доказателства с вектори в училищния курс по математика
ще изнесе
Боянка Савова.

Семинар "Математическо моделиране и числен анализ"
2022-11-07 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара на секция
Математическо моделиране и числен анализ
ще се състои на 07.11.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика.
Доклад на тема:
Математическо моделиране на биопроцеси с използването на производни от дробен ред
ще изнесе
Владимира Суванджиева (докторантка към секция ММЧА), в който ще представи резултати от дипломната си работа.

Резюме: В дипломната работа са разгледани две актуални теми: математическо моделиране на биопроцеси (по-специално, биореактор) и работата с производни от дробен ред. Оказва се, че заменянето на производните от целочислен ред в някои от вече добре познати модели, описващи биопроцеси, с производни от дробен ред, има смисъл с оглед на редица експериментални данни. От друга страна, специфичната структура на такъв тип производни се оказва истинско предизвикателство за изследването на свойствата на съответните модели. Работата съдържа първични резултати за моделирането на биореактор с помощта на подходящо подбрани числени апроксимации. Разгледани са няколко различни сценария: от най-простия- без да се отчита смъртност, до по-сложни, при които смъртността е взета предвид. В класическия случай решението на системата от диференциални уравнения, описващи процеса, има специфично поведение от гледна точка на монотонност. Ето защо, целта на последващите експерименти е да се определи дали е възможно класическия модел да се обобщи в модел, използващ производни от дробен ред, така че спецификите на решението да се запазят. Резултатите показват, че последното изисква някои зависимости между редовете на производните в модела. Хипотезата е базирана на два типа експерименти, които са описани в детайл: моделите на Lotka-Volterra и Monod.

Национален колоквиум по математика
2022-11-02 16:15 - 18:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ
ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН

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

Докладът се посвещава на Международната година на фундаменталните науки за устойчиво развитие.
Абстракт

Поканват сe всички интересуващи се.

Семинар "Алгебра и логика"
2022-10-28 13:00 - 14:30 | Zoom
На 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 intervals only. Adding the neighbourhood modalities, which are written <A> and <A-1> in the notation stemming from Allen’s system of interval relations, enables reference outside the reference interval and this way makes temporal separation relevant. In this talk I propose a DC analogue of a separation theorem for discrete time ITL which I established in a joint work with Ben Moszkowski.
Both theorems are analogous to Gabbay’s pioneering result and can be spelled out in similar terms, but the technical differences are significant. I take the opportunity to not repeat my previous talk on separation for ITL and instead discuss some aspects of the proofs for both the ITL and the DC theorems. Interestingly, these theorems admit proofs that are based on syntactical transformations of the formulas in the respective logics, and are therefore compositional and very intuitive. I will focus on the common and the distinct features of the proofs, and on some side corollaries.

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Oct 28, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]

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

Семинар "Приложения на диференциалните уравнения в науките"
2022-10-26 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 26.10.2022 г. от 14:00 часа в зала 478 ще се проведе семинар по Приложения на диференциалните уравнения в науките към Института по математика и информатика с лектор академик Петър Попиванов на тема:
ЕДНО ПРИЛОЖЕНИЕ НА МИКРОЛОКАЛНИЯ АНАЛИЗ В ТЕОРИЯТА НА ОТНОСИТЕЛНОСТТА (ЧЕРНИТЕ ДУПКИ)
Резюме. Един клас от динамични системи описва нормалното хиперболично захващане при . Добре известни са микролокалните оценки за решенията на псевдо диференциално уравнение (ПДУ) от главен тип и с реален главен символ, чиито нулеви бихарактеристики са неизродени. При тях загубата на гладкост е 1. За споменатите по-горе системи потокът от нулевите бихарактеристики разпространява особености, като в оценките за регулярност на съответното ПДУ участва и субглавния символ, а загубата на гладкост е 2. Микролокалната гладкост се разпространява в множеството на захващане. Като приложение ще дадем резултат на Петер Хинтц за разпространение на гладкост във вълновото уравнение. За тази цел се използва така наречения cusp wave front set на решението.
Поканват се всички интересуващи се.

Семинар на секция "Изследване на операциите, вероятности и статистика"
2022-10-25 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 25 октомври 2022 (вторник) от 14.00 в зала 503 на ИМИ ще се проведе присъствено заседание на общия семинар на секция „Изследване на операциите, вероятности и статистика”.
Доклад на тема:
Value-at-Risk, Expected Shortfall, и рискова мярка основана на експектил
ще изнесе Драгомир Неделчев, докторант към секцията.

Абстракт. Динамиката на финансовите пазари поставя на изпитание начините, по които се измерва пазарния риск. Затова, пазарните участници и регулаторните органи (напр. Базелския комитет за банков надзор) преосмислят и подобряват използваната рискова мярка. Заинтересованите страни търсят споделено разбиране за предимствата / недостатъците на съществуващите рискови мярки и така се преминава към нови мярки.

Традиционно пазарният риск се измерва чрез Value-at-Risk (VaR). Макар че тази мярка има своите предимства, тя не отговаря на някои изисквания за кохерентност.

Expected Shortfall (ES) е замислен като кохерентен наследник на VaR и затова смятан за новата рискова мярка. ES се отличава със субадитивност, но пък има затруднения да се провери надеждността на модел основан на ES.

Затова се търси мярка, която да бъде едновременно кохерентна и която лесно да бъде проверявана. За разлика от VaR, който се основава на избран квантил от разпределението на изследвания рисков фактор, и от ES, който отразява особеностите на разпределението отвъд VaR по една опашка, експектилът обобщава информацията от двете опашки на разпределението. Разгледани заедно тези три мярки и с реални данни, приемането на мярка основана на експектил изглежда приемливо решение.

Семинар "Дидактическо моделиране"
2022-10-24 14:30 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара
Дидактическо моделиране
ще се проведе на 24.10.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ.
Доклад на тема
Сесия за създаване на задачи към конгреса на WFNMC
ще изнесе
доц. Ивайло Кортезов.

Семинар "Алгебра и логика"
2022-10-21 13:00 - 14:30 | 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 except of p = n since On,n is isomorphic to On,1. We determine the rank of On,p (it is Cp-1Cn-p – Cp-2Cn-p-1) and give a presentation of On,p in (Cn-1 – Cn-2) generators and (1 + Cn-1 – Cn-2)(Cn-1 – Cn-2) relations. We illustrate the result for n = 4.

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Oct 21, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]

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

Предзащита на Детелина Камбурова
2022-10-18 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 18 октомври 2022 г. (вторник) от 14 ч. в зала 503 на ИМИ-БАН ще се проведе предзащита на дисертацията на
Детелина Кирилова Камбурова,
редовен докторант към секция “Изследване на операциите, вероятности и статистика” в ИМИ-БАН
с научен ръководител акад. Юлиан Ревалски,
за получаване на образователна и научня степен “доктор” по докторантска програма “Изследване на операциите”.
Материалите по дисертацията се намират в библиотеката на ИМИ.

Семинар "Алгебра и логика"
2022-10-14 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 14 октомври 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе хибридно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Семейства от трилистни накрития на алгебрически криви
ще изнесе Христо Илиев (АУБ и ИМИ – БАН).

Абстракт. Докладът е продължение на предишния ми доклад “Примери на нередуцирани компоненти на Хилбертовата схема от гладки проективни криви с използването на линейчати повърхнини”, който беше представен на 19-ти август, 2022г. В сегашния доклад разглеждамe трилистни накрития на гладки алгебрически криви от род γ ≥ 0. В резултат получаваме семейства от криви върху гладки повърхнинни скролове, които при определени числени ограничения дават компоненти на Хилбертовата схема от криви.

Семинарът ще бъде излъчен и онлайн посредством платформата Zoom. Линк към Zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Oct 14, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]

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

Семинар "Дидактическо моделиране"
2022-10-10 14:30 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара
Дидактическо моделиране
ще се проведе на 10.10.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ.
Доклад на тема
Рекурентни редици и приложенията им в задачи по вероятности – из преподавателската практика в Американския колеж – София
ще изнесе
гл. ас. д-р Борислава Виденова.

Семинар на секция "Математическо моделиране и числен анализ"
2022-10-03 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара на секция
Математическо моделиране и числен анализ
ще се състои на 03.10.2022 г., понеделник, от 14:00 часа в зала 403 на Института по математика и информатика.
Доклад на тема:
Математическо моделиране и компютърни симулации на задачи от физиката на джозефсоновите контакти
ще изнесе д-р Стефани Панайотова, Пловдивски университет.

Европейска нощ на учените 2022
2022-09-30 17:00 - 2022-10-01 17:00 | Античен културно-комуникационен комплекс „Сердика“, пл. Независимост", София, Bulgaria
Официалното откриване на Европейска нощ на учените 2022 ще се състои на 30 септември 2022 г. от 18:00 часа в Античен културно-комуникационен комплекс „Сердика“ (подкуполното пространство на пл. „Независимост“ (Ларго). Тази година събития от Нощта на учените ще се организират в 15 града и 22 училища. В програмата са включени отворени врати на лаборатории, музеи и училища, дискусионни клубове, лекции и научни семинари. Публиката ще бъде включена в дебатите за приноса на проучванията и нововъведенията, за зеления и цифров преход на икономиката, за пробивните иновации и научните постижения в Европа и България.
Българските участници в Европейския конкурс за млади учени EUCYS ще представят своите проекти от 17:15 ч., а награждаването им ще се проведе по време на официалното откриване на Нощта на учените. Повече за събитието, както и програма на Нощта по градове – вижте на https://nauka.bg/nosht-2022/.

Семинар "Дигитална култура"
2022-09-28 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 28.09.2022 г. от 14:00 часа в Заседателната зала на ИМИ-БАН ще се проведе заседание на семинара “Дигитална култура” (организатор: секция “Математическа лингвистика”), на което доклад ще изнесе доц. д-р Иван Георгиев и ще представи резултати по КЛАДА-БГ:
Иван Георгиев, Христина Клечерова, Георги Василев. 3D дигитализация и представяне на цифрово съдържание
Каним заинтересованите да участват онлайн чрез Zoom или на живо в ИМИ-БАН.
Topic: Семинар “Дигитална култура”
Time: Sep 28, 2022 13:45 Sofia
Join Zoom Meeting
https://us02web.zoom.us/j/84786030076?pwd=[REDACTED]
Meeting ID: 847 8603 0076
Passcode: [REDACTED]

Семинар на Международния център за математически науки
2022-09-27 16:00 - 17:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 27.09.2022 г., вторник, от 16:00 часа в зала 403 ще състои поредната сбирка на семинара на Международния център за математически науки (МЦМН).
Доклад на тема:
Разрешаване на особености и нормирания
ще изнесе д-р Андрей Бенгус-Ласние (Париж), който започва постдокторантура в ИМИ-БАН по програма ПИКОМ.
За допълнителна информация вижте https://icms.bg/singularities-resolutions-and-valuations-talk-by-andrei-bengus-lasnier/.

Семинар на секция "Математически основи на информатиката"
2022-09-27 14:00 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 27 септември 2022 г. (вторник) от 14:00 часа в Заседателната зала на ИМИ-БАН
ще се проведе заседание на семинара на секция „Математически основи на информатиката”. Доклад на тема:

Tightening the Generalized Levenshtein Bound (GLB) on Aperiodic Correlation of Quasi-Complementary Sequence Sets

ще изнесе
д-р Зилонг Лиу от Университета на Есекс.

Гостуването на д-р Лиу се осъществява по програма ПИКОМ.
Докладът ще може да бъде проследен и по зуум, на линк https://us02web.zoom.us/j/82208909334?pwd=[REDACTED]

Абстракт:

Levenshtein improved the aperiodic Welch bound by using the key idea that the weighted mean square aperiodic correlation of any sequence subsets over the complex roots of unity is equal to or greater than that of the set comprised of all sequences over the complex roots of unity. Following this key idea, I will introduce Generalized Levenshtein Bound (GLB) [1] for quasi-complementary sequence sets (QCSS), which refer to a set of two-dimensional arrays with low aperiodic correlation sums. The GLB, in the form of a fractional quadratic function of the simplex weight vector, is non-convex in general and thus its tightening is challenging. In the second part of this talk, I will present a frequency-domain optimization approach which tightens GLB in an analytical way [2].
This talk will be based on my following papers:
[1] Z. Liu, Y. L. Guan and W. H. Mow, “A Tighter Correlation Lower Bound for Quasi-Complementary Sequence Sets,” IEEE Transactions on Information Theory, vol. 60, no. 1, pp. 388-396, Jan. 2014.
[2] Z. Liu, Y. L. Guan and W. H. Mow, “Asymptotically Locally Optimal Weight Vector Design for a Tighter Correlation Lower Bound of Quasi-Complementary Sequence Sets,” IEEE Transactions on Signal Processing, vol. 65, no. 12, pp. 3107-3119, June 2017.

Семинар "Дидактическо моделиране"
2022-09-26 14:30 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на семинара
Дидактическо моделиране
ще се проведе на 26.09.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ.
Доклад на тема
Девети конгрес на Световната федерация на националните математически състезания
ще изнесе
проф. Борислав Лазаров.

XII международна конференция „Цифрово представяне и опазване на културно и научно наследство” - DiPP2022
2022-09-23 13:00 - 2022-09-25 17:00 | Регионална библиотека “Пейо Яворов”, Бургас, ул. Оборище 49-51, Burgas, Bulgaria
Институтът по математика и информатика при Българска академия на науките,
под патронажа на ЮНЕСКО
и с подкрепата на Община Бургас и Фонд „Научни изследвания“,
организира
Дванадесетата международна конференция „Цифрово представяне и опазване на културно и научно наследство“ – DiPP2022.
DiPP2022 ще се проведе от 23 до 25 септември 2022 година в Регионалната библиотека „Пейо Яворов“, гр. Бургас.
Съорганизатори са Регионален академичен център на БАН–Бургас, Регионален исторически музей–Бургас, Регионална библиотека “Пейо Яворов”–Бургас и Бургаски свободен университет.
Програмата на DiPP2022 е достъпна на страницата на конференцията.
Представените на форума научни изследвания и резултати се публикуват в реферираното и индексирано в Web of Science и Scopus издание, достъпно онлайн на http://dipp.math.bas.bg.

Семинар "Алгебра и логика"
2022-09-23 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 23 септември 2022 г. (петък) от 13:00 ч. в зала 578 ще се проведе присъствено заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Геометрия и логика в квантовите изчисления
ще изнесе Николай М. Николов (ИЯИЯЕ-БАН).

Абстракт. През 1936г. Гарет Биркхоф и Джон фон Нойман публикуват една от най-общите аксиоматични основи на квантовата теория, която е известна до днес, като “Квантова логика” (Annals of Mathematics, vol. 37 (1936) 823-843). В тази работа те изхождат от орто-модуларна решетка, която служи като модел на частично нареденото множество на всички квантови събития. Те също откриват връзка с проективната геометрия. Основният случай на геометрии е върху комплексните числа, но има и възможности за по-общи пръстени с деление, включително некомутативни. След кратко представяне на тези резултати, ще обсъдя връзките с крайните геометрии и така наречените “квантови изчисления”.

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

Семинар на секция "Математически основи на информатиката"
2022-09-19 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 19 септември 2022 г. от 14:00 в Заседателната зала на ИМИ – БАН ще се проведе заседание на семинара на секция „Математически основи на информатиката” с доклад на тема
On the minimal sum of edges in a signed edge-dominated graph
Докладчик ще бъде д-р Данила Черкашин.
Абстракт
Поканени са всички желаещи.

Защита на дисертация за ОНС "доктор" на Паскал Пиперков
2022-09-19 10:00 - 11:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Институтът по математика и информатика при БАН и Научното жури за присъждане на образователната и научна степен “доктор” съобщават, че на 19 септември 2022 г. от 10:00 часа в ИМИ – БАН ще се проведе открито заседание на Научното жури за защита на дисертационен труд на тема:
Дискретни трансформации и приложението им в теория на кодирането и комбинаториката
на
Паскал Николаев Пиперков
в област на висше образование 4. Природни науки, математика и информатика, професионално направление 4.5. Математика, докторска програма „Алгебра и теория на числата”.
Научен ръководител:
проф. дмн Илия Буюклиев
Председател на Научното жури:
проф. дмн Петър Бойваленков
Членове на Научното жури:
проф. дмн Николай Янков
проф. дмн Илия Буюклиев
проф. д-р Мая Стоянова
доц. дмн Славчо Щраков
Материалите по защитата са на разположение в библиотеката на ИМИ – БАН и са публикувани на интернет страницата на ИМИ:
http://www.math.bas.bg/omi/IMIdocs/ZRASRB/degrees_phd_current.php

Семинар "Алгебра и логика"
2022-09-16 14:00 - 15:30 | Zoom
На 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 и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Sep 16, 2022 02:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]

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

Семинар "Алгебра и логика"
2022-09-09 13:00 - 14:30 | Zoom
На 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 and control theory from a qualitative perspective. In this talk, we will report our recent efforts to tackle these issues, including bounded and unbounded verification of delay differential equations and controller synthesis for time-delayed systems, and discuss remaining challenges and future trends.

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]

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

Десета международна конференция "Числени методи и приложения"
2022-08-22 - 2022-08-26 | Боровец, България, Боровец, Bulgaria
10-а международна конференция “Числени методи и приложения”
22 – 26 август 2022 г., Боровец, България
Организатори:
Институт по математика и информатика на Българската академия на науките,
съвместно със:
Институт по информационни и комуникационни технологии на БАН,
Факултет по математика и информатика на СУ “Св. Климент Охридски”,
Българската секция на Society for Industrial and Applied Mathematics (BGSIAM)
Пълна информация за конференция можете да намерите на сайта http://www.math.bas.bg/~nummeth/nma22/index.html

Семинар "Алгебра и логика"
2022-08-19 13:00 - 14:30 | Zoom
На 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 a general point [X′] ∈ D′.

Линк към Zoom-стаята на семинара:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Aug 19, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]
От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================

Семинар "Алгебра и логика"
2022-07-29 13:00 - 14:30 | Zoom
На 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 S. If we have the former situation, it is natural to ask about the minimal number of variables in any F-formula defining S, or its minimal length, or the minimal number of operators like quantifiers, disjunctions and conjunctions, and the minimal depth of their nesting. In the latter situation, we might want to know how (some of) these measures scale with the index of individual formulae.
In my talk, I am going to survey several recent results, in some of which I have been involved, coming from the area of the descriptive complexity of classes of Kripke frames (directed graphs) and classes of Kripke models (edge-and vertex-coloured directed graphs) relative to some well-known modal logics.

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=[REDACTED]
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: July 29, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: [REDACTED]
От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================

22. Лятна изследователска школа на УчИМИ
2022-07-24 08:00 - 2022-08-13 17:00 | Творчески дом на БАН, Варна, Варна, к.к. “Чайка”, спирка “Журналист”, Varna, Bulgaria
За двадесет и втори пореден път Ученическият институт по математика и информатика (УчИМИ) организира своята Лятна изследователска школа по математика и информатика (ЛИШ’22). Тя ще се проведе хибридно от 24 юли до 13 август, като през първата седмица учениците ще слушат лекции дистанционно, а след това школата ще продължи в Творческия дом на БАН във Варна.
За участие в програмата на ЛИШ тази година се класираха 46 ученици с изявени интереси в областта на математиката, информатиката и информационните технологии.
В школата вече традиционно има международно участие и официалният език, на който тя се води, е английски. Тридесет и един са средношколците от България, а заедно с тях в школата ще участват ученици от Албания, Азербайджан, Бразилия, Индия, Катар, Саудитска Арабия и САЩ. Трима от тях ще дойдат на място в България, а останалите ще продължат работата със своите ментори дистанционно.

Девети конгрес на WFNMC
2022-07-19 - 2022-07-25 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Девети конгрес на Световната федерация на националните математически състезания
19 – 25 юли 2022 г., София, България
Деветият конгрес на Световната федерация на националните математически състезания (WFNMC) ще се проведе в София от 19 до 25 юли 2022 г.
Институтът по математика и информатика на БАН е съорганизатор и домакин на Конгреса.
Програмата на конгреса включва доклади, семинари, работилници, миникурсове, сесии със съставяне на задачи, пленарни доклади и други събития. Голяма част от работата на Конгреса ще бъде съсредоточена върху следните теми:

Изграждане на връзки между изследователски математически проблеми и състезателни задачи;
Създаване и решаване на задачи;
Състезания по света;
Приложения на технологиите в състезанията по математика.

Желаещите могат да изпращат предложения за доклади, семинари, миникурсове, постери и друго математическо съдържание, включващи заглавие, имена на авторите или организаторите и кратко ясно описание.
Крайният срок за изпращане на абстракти на доклади е 31 март 2022 г.
Абстрактите и предложенията се изпращат по електронна поща до председателя на Програмния комитет на WFNMC Роберт Геретшлегер (robert@rgeretschlaeger.com) и до Президента на WFNMC проф. Кирил Банков (kbankov@fmi.uni-sofia.bg) до 31 март 2022 г.
До 1 април 2022 г. участниците може да изпращат също оригинални задачи от състезания и математически загадки, заедно с решения и кратък анализ защо конкретната задача се е сторила на автора ѝ интересна, полезна или стимулираща. Програмният комитет възнамерява да организира сесия за съставяне на задачи и да включи глава със задачи в сборника с доклади от Конгреса.
Шаблон за абстракти (docx)
Важни дати
Срок за ранна регистрация: 30 април 2022 г.
Срок за късна регистрация: 19 юни 2022 г.
Изпращане на абстракти: 31 март 2022 г.
За допълнителна и актуална информация вижте сайта на Конгреса:
http://www.math.bas.bg/omi/wfnmc9/
