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

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

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

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

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

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

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

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

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

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

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

Национален семинар по Теория на кодирането „Професор Стефан Додунеков“
2022-11-10 - 2022-11-13 | Парк-хотел “Севастократор, с. Арбанаси
Националният семинар с международно участие за Теория на кодирането „Професор Стефан Додунеков“ за 2022 г. ще се проведе от 10 до 13 ноември в парк-хотел „Севастократор” в с. Арбанаси.
В рамките на семинара е предвидено да се открие паметна плоча на акад. Стефан Додунеков в гр. Велико Търново, алея „Личности на България с принос за Велико Търново“.
Научната програма ще се проведе на 11 и 12 ноември и включва доклади (до 20 минути), представяния на дисертации (до 40 минути) и дискусии. За участие в научната програма, моля, изпратете заглавие и кратък абстракт (до една страница) на Петър Бойваленков и Цонка Байчева до 01.11.2022 г.
Националният семинар по Теория на кодирането е основан през 80-те години на 20. век от акад. Стефан Додунеков и оттогава се провежда ежегодно в края на годината. От 2014 година насам семинарът носи и името на акад. Додунеков, който е директор на ИМИ от 1999 до 2012 година и председател на Съюза на математиците в България от 2001 до 2012 г.
Семинарът е и годишна отчетна сесия на секция “Математически основи на информатиката”.
Програма на семинара.
Покана, приложение.

Общ семинар на секция "Анализ, геометрия и топология"
2022-11-15 11:00 - 12:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредното заседание на Общия семинар на секция “Анализ, геометрия и топология” ще се проведе
на 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 of the solution. We present numerical data related to the solution of a wave equation for several values of parameters.
This talk is part of the work program of a project (2020-2022) under the bilateral collaboration between the Bulgarian Academy of Sciences and the Serbian Academy of Sciences and Arts.

Защита на дисертация за научната степен "доктор на науките" на Емилия Бажлекова
2022-11-15 14:00 - 16:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Институтът по математика и информатика при БАН и Научното жури за присъждане на
научната степен “доктор на науките” съобщават, че на 15 ноември 2022 г. от 14:00 ч. в
хибридна форма в зала 478 на ИМИ и в Zoom ще се проведе открито заседание на
Научното жури за защита на дисертационен труд на тема:
Принцип за субординация на обобщени дробни еволюционни уравнения
на
Емилия Григорова Бажлекова
в област на висше образование 4. Природни науки, математика и информатика
професионално направление 4.5. Математика,
научна специалност „Математически анализ“
Председател на Научното жури:
проф. дн Йорданка Панева-Коновска
Членове на Научното жури:
проф. дмн Виржиния Кирякова
проф. дмн Цвятко Рангелов
проф. д-р Мария Дачева
проф. дн Миглена Колева
проф. д-р Георги Венков
проф. д-р Красимира Проданова
Материалите по защитата са на разположение в библиотеката на ИМИ-БАН и са публикувани на интернет страницата на ИМИ:
http://www.math.bas.bg/omi/IMIdocs/ZRASRB/degrees_doctor_current.php
Линк към Zoom за защитата:
https://us02web.zoom.us/j/83562211296?pwd=[REDACTED]

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

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

Поканват сe всички интересуващи се.
Join Zoom Meeting
https://us02web.zoom.us/j/81214695960?pwd=[REDACTED]
Meeting ID: 812 1469 5960
Passcode: [REDACTED]
Абстракт: Във всяка област от математиката се изучават специфични обекти и съгласно приети правила се изгражда теория, доказват се твърдения, теореми, леми, дават се примери. Има обаче още една група от твърдения, да я наречем CPS (контрапримери, парадокси, сюрпризи). Те се „раждат“ като отговори на нетривиални въпроси, поставяни от активни математици, или при доказване/опровергаване на хипотези. Често отговори се намират след години на упорити опити. CPS има във всяка област от математиката, но има и нерешени/отворени въпроси, т.е. предизвикателства за опитни и за млади.
Ще представя с подробности няколко конкретни твърдения от типа CPS, за които е възможно в един кратък доклад да се дадат аргументи, показващи ясно какво е контрапример, парадокс или сюрприз, каква е специфичната разлика между тях, и защо те са важни и интересни. Ще включа твърдения, свързани с имената на Вайерщрас, Тагаки, Риман, Лебег, Колмогоров, Дьедоне, Мотцкин, Матиясевич, Крылов-Еванс.
Ще стане ясно, че това са уникални резултати и епизоди, изиграли ключова роля за прогреса в една или друга област от математиката. Надявам се да има поне нещо ново, полезно и интересно за всеки, който присъства на доклада. Подходът да се търсят, намират и използват твърдения от типа CPS води до богатство на теорията и е особено важен за тези, които изучават математика, и разбира се, за тези, които я преподават, и то на всички нива.
Ще покажа библиографски данни за всички излезли досега книги от групата CPS, ще дам информация за ново международно списание с такава насоченост.
Този доклад може да се разглежда във връзка със следните важни поводи: ИМИ – БАН вече е на 75 години, в настоящата сграда сме от 50 години, а 2022 г. е обявена от ООН като Международна година на фундаменталните науки за устойчиво развитие.

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

Topic: Открито заседание на Научното жури за защита на дисертационен труд за присъждане на ОНС “доктор” на Нектариос Мамуцис.
Time: Nov 21, 2022 14:00 SofiaJoin Zoom Meeting
https://us02web.zoom.us/j/84421089305?pwd=[REDACTED]
Meeting ID: 844 2108 9305

Passcode: [REDACTED]

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

Курс по алгебрична геометрия към МЦМН
2022-11-22 13:30 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Д-р Андрей Бенгус-Ласние ще изнесе кратък курс към МЦМН (около 8 лекции) по разрешаване на особености:
Introduction to Resolution of Singularities
Темата на курса е фундаментална за алгебричната геометрия. През последните години се направиха много неуспешни опити да се докаже съществуването на разрешаване на особености, когато базовото поле е с положителна характеристика.
Курсът е достъпен за студенти по математика с познатия по комутативна алгебра.
Първата лекция е на 22-ри ноември от 13:30 ч. в зала 403 на ИМИ-БАН.
Анотация на курса
Първите две лекции на д-р Бенгус-Ласние можете да видите тук:

Национален семинар "Изследователският подход в математическото образование"
2022-11-25 - 2022-11-26 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Следващото издание на Националния семинар “Изследователският подход в математическото образование” ще се проведе хибридно на 25 – 26 ноември 2022 г.
Можете да се участва с доклад, постер или като наблюдател.
Срокът за регистрация за Националния семинар по образование е 13 ноември 2022 г.
Регистрацията можете да направите онлайн чрез Регистрационната форма за Националния семинар по образование.
За повече информация посетете сайта на семинара.

Семинар "Алгебра и логика"
2022-11-25 13:00 - 14:30 | Zoom
На 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.

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

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

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

Семинар "Алгебра и логика"
2022-12-02 13:00 - 14:30 | Zoom
На 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 a semiring D of these derivations and find a basis of D, considered as an R-semimodule. The main result of the first article states that an arbitrary derivation of UTMn(R) (the semiring of upper triangular matrices over an additively idempotent semiring R) is a linear combination of a derivations from the basis of R-semimodule D. When R is an associative ring with identity and UTMn(R) is the ring of upper triangular n x n matrices over R we propose a basis of an additive group D of derivations of UTM_n(R) consisting of derivations δ_i such that δ_i(A) = [e_ii,A], where A ∈UTM_n(R) and e_ii are diagonal matrix units for i = 2, …, n. The main result states that if D is an arbitrary derivation of the ring UTM_n(R) and A ∈UTM_n(R), then there are matrices, such that the derivative D(A) is a linear combination of the values of derivations δ_i ∈D, i = 2, …, n, of these matrices with coefficients the entries of the matrix A.

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

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

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

Курс по алгебрична геометрия към МЦМН - лекция 3
2022-12-06 13:30 - 15:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Третата лекция от Курса по алгебрична геометрия към МЦМН ще бъде проведена на 6 декември 2022 г. от 13:30 ч. в зала 403 на ИМИ – БАН.

Д-р Андрей Бенгус-Ласние ще изнесе кратък курс към МЦМН (около 8 лекции) по разрешаване на особености:
Introduction to Resolution of Singularities
Темата на курса е фундаментална за алгебричната геометрия. През последните години се направиха много неуспешни опити да се докаже съществуването на разрешаване на особености, когато базовото поле е с положителна характеристика.
Курсът е достъпен за студенти по математика с познатия по комутативна алгебра.
Анотация на курса
Първите две лекции на д-р Бенгус-Ласние можете да видите тук:

Семинар по Приложна математика
2022-12-07 15:00 - 16:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Втората сбирка на новоучредения
Семинар по приложна математика,
който е част от дейностите на програма ПИКОМ,
ще се състои на 07.12.2022 от 15:00 в Заседателната зала на ИМИ.
Доклад на тема:
Introduction to Steiner Trees
ще изнесе д-р Данила Черкашин, пост-докторант в ИМИ – БАН.
Фейсбук страница на семинара: Семинар по Приложна математика

МЦМН: Трета международна конференция „Жените в математиката в Югоизточна Европа“
2022-12-08 10:00 - 2022-12-09 18:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Международният център по математически науки (ICMS-Sofia),
Съюзът на математиците в България и
Institute of the Mathematical Sciences of the Americas на Университета в Маями (IMSA)
организират
Третата международна конференция „Жените в математиката в Югоизточна Европа“
8 и 9 декември 2022 г. в София.

Програмата на конференцията може да видите тук.
Информация за всички участници, както и заглавия и абстракти на техните доклади, може да намерите на https://icms.bg/women-in-mathematics-in-south-eastern-europe-2022/
Информация за предишните конференции може да се види на: https://icms.bg/women-in-math-2020/ и https://icms.bg/women-in-mathematics-in-south-eastern-europe-2021-n/

Семинар "Алгебра и логика"
2022-12-09 13:00 - 14:30 | Zoom
На 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 variation of Hodge structures of weight 1 and a Seiberg-Witten differential on the Hitchin base and discuss an explicit formula its Gauss-Manin derivative.

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

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

Отчетна сесия на секция ММЧА
2022-12-12 09:30 - 13:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Годишната отчетна сесия на секция „Математическо моделиране и числен анализ“
ще се проведе на 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.

Обучителни семинари, свързани с Хоризонт Европа
2022-12-12 13:00 - 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 5 и 12 декември 2022 г. (понеделник) от 13:00 до 17:00 часа в зала 503 ще се проведат обучителни семинари, свързани с програмата Хоризонт Европа и по-специално – конкурсите, които са от високо значение за ИМИ-БАН (MSCA, ERC, WIDERA и др.)
05.12.2022 Обща политика и принципи на ЕС в науката и иновациите
12.12.2022 Хоризонт Европа и създаване на успешно проектно предложение
Лектор ще бъде Карина Ангелиева, бивш зам.-министър на образованието и науката и бивш експерт в ПП на България в Брюксел. Работен език – английски.
Семинарът се финансира по проект K-TRIO.

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

14:00-14:20 Олег Мушкаров, Дейности на МЦМН през 2022 г.
14:20-14:40 Rodolfo Aguilar, The nilpotent quotients of quasi-Kähler manifolds with proper quasi-albanese map
14:40-15:00 Антони Рангачев, Fujita-type theorem for the local volume of a line bundle
15:00 -15:10 Почивка
15:10 -15:30 Andrei Bengus-Lasnier, Geometric and combinatorial interpretations for valuations
15:30 – 15:50 Марин Генов, On the Jacobian conjecture in characteristic 0 for certain polynomial maps of degree 2 and 3
15:50 – 16:00 Почивка.
16:00 – 16:20 Sebastien Torres, Semiorthogonal decompositions on moduli spaces
16:20 – 16:40 Данила Черкашин, On stability of the spanning trees enumerator
16:40 – 17:00 Димитър Коджабашев, Picard and Brauer groups of topological modular forms with level structure
