Institute of Mathematics and Informatics

Семинар на секция “Математически основи на информатиката”
2022-06-10 13:00 - 14:00 (Europe/Sofia) | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 10 юни 2022 г. (петък) от 13:00 часа в заседателната зала на ИМИ
ще се проведе заседание на семинара на секция МОИ.

Доклад за зачисляване в докторантура на тема:
Sperner‘s Theorem, Voting Theory, Balancing the Graph System, Strong and Weak Subsets of the Multiset
ще изнесе Степан Тарасенко, Киевски политехнически институт.

За онлайн участие (Zoom):
https://us02web.zoom.us/j/84701255174?pwd=[REDACTED]

Meeting ID: 847 0125 5174, Passcode: [REDACTED]

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

на
Паскал Николаев Пиперков
докторант в секция МОИ на ИМИ-БАН

Тема на дисертацията:
Дискретни трансформации и приложението им в теория на кодирането и комбинаториката

Научен ръководител: проф. дмн Илия Буюклиев
За онлайн участие (Zoom):
https://us02web.zoom.us/j/84701255174?pwd=[REDACTED]
Meeting ID: 847 0125 5174, Passcode: [REDACTED]

Семинар "Алгебра и логика"
2022-06-10 16:00 - 17:30 | Zoom
На 10 юни 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Computing Eigenvectors of Symmetric Tridiagonals with the Correct Number of Sign Changes

ще изнесе Plamen Koev (San José State University, USA).

Абстракт. The symmetric tridiagonal eigenvector problem has been a central research topic in numerical linear algebra since its inception. Of the myriad of algorithms today, none is provably optimal and accurate at the same time. “Optimal” means, a subset of k eigenvectors is computed in O(kn) time. “Accurate” means that the computes eigenvectors are orthogonal and satisfy the typical relative gap error bound.
In this talk, we focus our attention on a neglected oscillating property of the eigenvectors: the i-th eigenvector has exactly i – 1 changes of sign in its entries. Long considered irrelevant, because the tiny entries of the eigenvectors don’t seem to be of any practical importance, this property may hold the key to accurate eigenvectors computed in optimal time!
Such an approach is not without precedent: the preservation of the mathematical properties of the computed objects has lead to major progress in various computations.
We present a new algorithm that computes individual eigenvectors in optimal, O(n) time, each guaranteed to have the correct number of sign changes, and satisfying the conventional relative gap error bound. The numerical experiments in this work in progress look promising in that the computed eigenvectors seem to also be orthogonal.

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

9th CMAPT Workshop - Computational Mathematics and APproximation Theory
2022-06-13 - 2022-06-17 | Strobl/St. Wolfgang, Austria
9th CMAPT Workshop (Computational Mathematics and APproximation Theory)
http://www.numa.uni-linz.ac.at/CMAPT/2022/
13 – 17 June 2022, Strobl/St. Wolfgang, Austria
organized by
Doctoral Program Numerical Analysis and Symbolic Computation, Johannes Kepler University, Linz, Austria
Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences, Linz, Austria
Institute of Computational Mathematics (NuMa), Johannes Kepler University, Linz, Austria
Institute of Mathematics and Informatics (IMI), Bulgarian Academy of Sciences, Sofia, Bulgaria
Topics and Goal
The primary objective of the CMAPT Workshop (to be pronounced: smart) is to bring together scientists from Bulgaria and Austria working in the fields of Approximation Theory, Numerical Analysis, Symbolic Computation and CAGD. Among the goals of the workshop is the stimulation of new research cooperations which would lead to novel results. We expect free exchange of ideas and results to inspire further development in the fields and motivate new research directions in computational and applied mathematics.
Full details about the workshop are available on its website http://www.numa.uni-linz.ac.at/CMAPT/2022/

МЦМН: Втора годишна среща на младите български математици
2022-06-13 08:00 - 2022-06-14 17:00 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Международният център за математически науки
организира
Втора годишна среща на младите български математици
13-14 юни 2022 г.

За втора поредна година Международният център за математически науки (ICMS-Sofia) организира Годишна среща на младите български математици. Специален гост на събитието ще бъда проф. Юрий Чинкел, който е ръководител на катедрата по математика в Института Курант при Нюйоркския университет, САЩ, и директор на направление Математика и физически науки на Simons Foundation.
Приключването на научната част на събитието на 14 юни ще бъде последвано от кръгла маса, на която ще бъдат обсъдени перспективи за повишаване на професионалното развитие на младите български математици чрез представяне на нови възможности за кариера чрез национални и европейски научни програми.
Повече за събитието четете на https://icms.bg/second-annual-meeting-of-young-mathematicians/.

Лекция на проф. Юрий Чинкел
2022-06-13 17:30 - 20:00 | Хотел Интерконтинентал София, пл. Народно събрание 4, София, Bulgaria
Българската академия на науките,
Институтът по математика и информатика и
Международният център за математически науки (ICMS-Sofia)
организират лекция на
проф. Юрий Чинкел,
Институт Курант при Нюйоркския университет, САЩ
13 юни 2022 г. (понеделник), от 17:30 часа, Хотел Интерконтинентал София,
зала Ballroom, пл. „Народно събрание“ №4
Лекцията е на тема Building Scientific Institutes и в нея проф. Чинкел ще сподели своя опит как частният капитал подпомага финансирането на научни изследвания в различни области.

Девета международна конференция New trends in the applications of differential equations in sciences (NTADES2022)
2022-06-14 - 2022-06-17 | Созопол, България
Девета международна конференция
New trends in the applications of differential equations in sciences (NTADES2022)
Деветата международна конференция New trends in the applications of differential equations in sciences (NTADES2022) ще се проведе от 14-17 Юни 2022 г. в гр. Созопол, България. Тя са провежда в сътрудничество със Society of Industrial and Applied Mathematics (SIAM). Основните теми на конференцията са: Приложения в Математическата физика; Приложения в Нелинейни Вълни; Приложения във Финансовата математика; Приложения в Механиката; Приложения в дробния анализ; Приложения в Биологията; Приложения в Невронаукките. Повече информация може да се намери на сайта на конференцията www.ntades.eu
Трудовете на конференцията ще бъдат публикувани в American Institute of Physics Conference Proceedings (https://www.aip.org/), които се реферират в световните научни бази данни и имат Scopus Journal Rang.

Национален семинар по стохастика
2022-06-15 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на
Националния семинар по стохастика
ще се проведе на 15 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ – БАН.
Доклад на тема
Tests of stochastic dominance with repeated measurements data
ще изнесе
Ангел Ангелов (ФМИ – СУ).
Абстракт: We explore a testing problem which involves four hypotheses, i.e., based on observations of two random variables X and Y, we wish to discriminate between four possibilities: identical survival functions, stochastic dominance of X over Y, stochastic dominance of Y over X, or crossing survival functions. Four-decision testing procedures for repeated measurements data are proposed. The tests are based on a permutation approach and do not rely on distributional assumptions. One-sided versions of the Cramér–von Mises, Anderson–Darling, and Kolmogorov–Smirnov statistics are considered. The consistency of the tests is shown. A simulation study indicates good power properties and control of false-detection errors. The proposed tests are applied to data from a psychophysical experiment.

Семинар "Диференциални уравнения и математическа физика"
2022-06-22 14:00 - 15:30 | Zoom
На 22.06.2022г. от 14 ч. ще се проведе поредната сбирка на
семинара по Диференциални уравнения на секция ДУМФ.
Доклад на тема
On Contact Defects in Reaction-Diffusion Systems
ще изнесе д-р Милен Иванов.
Абстракт:
Solutions of reaction-diffusion systems exhibit a wide variety of patterns like spirals, stripes and Turing patterns. In particular, the Belousov-Zhabotinsky (BZ) reaction produces spiral patterns, which may undergo a period-doubling bifurcation; then a line defect is emitted from the center of the spiral and along it the pattern jumps half a period. In order to study this phenomenon, we consider the so-called contact defects, studied by Sandstede and Scheel: functions, which converge (in an appropriate sense) to a periodic function as x→±∞. Of interest is the problem of truncating such a defect to a large interval, with Neumann or periodic boundary conditions.
We will discuss the existence, uniqueness and spectral stability of such a truncated contact defect. It will turn out contact defect is spectrally stable when given periodic boundary conditions, and spectrally unstable with Neumann boundary conditions. These results suggest that the observed spiral patterns with line defects are stable.
Семинарът ще се проведе онлайн в Зуум на адрес:
https://us02web.zoom.us/j/84907200931?pwd=[REDACTED]
Meeting ID: 849 0720 0931
Passcode: [REDACTED]
Всички интересуващи се са поканени.

Секция “Диференциални уравнения и математическа физика”

Семинар "Алгебра и логика"
2022-06-24 13:00 - 14:30 | Zoom
На 24 юни 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Dependent-Type Theory of Situated Information with Context Assessments

ще изнесе Русанка Луканова.

Абстракт. I shall introduce an enriched formal language of information that establishes propositions dependent on situations and types. The types can be basic or complex. Complex propositional types are defined recursively. The language supports structured data of situated information, which can be partial, parametric, and underspecified. Information can be associated with quantitative evaluations depending on situations. The formal terms can integrate propositional types of situated information with statistical and other quantitative evaluations. Structured content integrated with quantitative data facilitates development of new techniques for amalgamating logic representation of situated, propositional content with numerical data. Numerical data can be provided by techniques from mathematical statistics and probability. Furthermore, information can be dynamically updated by integration with techniques of machine learning.

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

Предзащита на дисертация на Емилия Бажлекова за присъждане на научна степен “доктор на науките”
2022-06-28 13:00 - 14:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 28 юни 2022 г. (вторник) от 13:00 ч. в зала 478 на ИМИ-БАН
ще се проведе предварително обсъждане (предзащита) на дисертацията на
Емилия Бажлекова
на тема
Принцип за субординация на обобщени дробни еволюционни уравнения
за присъждане на научната степен “доктор на науките”
в професионално направление 4.5. Математика, научна специалност “Математически анализ”.
Материалите по предзащитата се намират в библиотеката на ИМИ.
Резюме: Дробното смятане се използва интензивно в моделирането на процеси с памет посредством еволюционни уравнения, в които целочислените производни по времето или пространството са заменени с оператори от дробен ред. Принципът за субординация дава възможност за представяне на решенията на дробните еволюционни уравнения чрез решенията на някои класически уравнения и е полезен инструмент за тяхното изследване, решаване и класификация. Основавайки се на теорията на функциите на Бернщайн, в дисертацията е разработена обща методология за установяване на субординационна зависимост между дадено линейно еволюционно уравнение от общ вид и едно класическо еволюционно уравнение. Теорията е приложена за изследване на редица уравнения описващи субдифузия и дифузионно-вълнови уравнения. В допълнение е изучено едно обобщение на мултиномната функция на Митаг-Лефлер, което естествено се появява в процеса на изследванията.
От секция „Анализ, геометрия и топология“

Колоквиум на МЦМН: доклад от проф. Людмила Каменова
2022-06-28 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 28 юни (вторник) от 14.00 в зала 403 на ИМИ
проф. Людмила Каменова, Stony Brook University, New York
ще изнесе доклад на тема:
Finiteness results for hyperkaehler manifolds.

Повече подробности можете да намерите на страницата на Международния център за математически науки:
https://icms.bg/finiteness-results-for-hyperkaehler-manifolds-ljudmila-kamenova/

Семинар на секция "Математически основи на информатиката"
2022-06-28 14:00 - 16:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 28.06.2022 г. от 14:00 в зала 503 ще се проведе семинар на секция МОИ при следната програма:

14:00-14:30 Мирослав Марков “Point-counting on elliptic curves” – доклад за отчисляване с право на защита

14:30-15:15 Навид Сафаей “Spherical designs with few distances” – доклад за зачисляване в свободна докторантура

15:15-15:30 кафе пауза

15:30-16:15 Степан Тарасенко “Sperner‘s Theorem, Voting Theory, Balancing the Graph System, Strong and Weak Subsets of the Multiset” – доклад за зачисляване в свободна докторантура

Поканени са всички желаещи.

Линк за електронно участие:
https://teams.live.com/meet/9448198083354

Национален семинар по стохастика
2022-06-29 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
Поредната сбирка на
Националния семинар по стохастика
ще се проведе на 29 юни 2022 г. (сряда) от 14:00 часа в зала 503 на ИМИ – БАН.
Доклад на тема
Modelling longitudinal cognitive test data with ceiling effects and left skewness
ще изнесе
Деница Григорова (ФМИ – СУ), съвместна работа с Деян Палежев и Ралица Георгиева.
Абстракт: Cognitive tests are among the markers for the development of cognitive diseases such as Alzheimer’s disease. We model the scores from the Mini Mental State Examination (MMSE) over time on data from the Alzheimer’s Disease Neuroimaging Initiative studies (ADNI, http://adni.loni.usc.edu/). The challenge of modelling such an outcome is that the data are left-skewed with ceiling effects – the maximum possible score on the MMSE is 30 and this maximum is often achieved by healthy individuals. Different approaches have been considered in the statistical literature, such as linear mixed effects models on transformed data, mixture models based on latent class growth analysis and generalized additive models for location, scale and shape (GAMLSS). We apply the binomial and beta-binomial GAMLSS specifications because they allow to account for the features of the data. We use non-parametric random effects to model correlations among repeated measures on the same individual and maximum likelihood for estimation and inference. We propose a bootstrap method for estimation of the covariance matrix of the estimates needed for hypothesis testing involving more than one regression coefficient. Finally, we perform simulation studies to compare the estimation procedure implemented in the gamlss R package under different scenarios.

Семинар "Алгебра и логика"
2022-07-01 13:00 - 14:30 | Zoom
На 1 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
On the parity of the coefficients of minimal polynomial of Kloosterman sums over Fp
ще изнесе Любомир Борисов.

Абстракт. Kloosterman sums over finite fields play an important role in “Algebraic Coding Theory” and “Cryptography”. E.g., they are related to some families of algebraic codes (Melas, Kloosterman) and (hyper-)bent functions. Particularly, the divisibility properties of some quantities connected with the Kloosterman sums, e.g., of minimal polynomial coefficients and power moments, were also investigated (see, e.g., [1]; [2]).
In this talk I shall present some results about the divisibility by 2 of the coefficients of minimal polynomials of the Kloosterman sums.

[1] M. Moisio, “On certain values of Kloosterman sums”, IEEE IT, vol. 55.8 (2009), 3563-3564.
[2] Choi H. T., R. Evans, “Congruences for Sums of Powers of Kloosterman Sums”, International Journal of Number Theory, vol. 3(1): 105-117, 2007.

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

Семинар "Математически основи на информатиката", доклад на Александър Барг
2022-07-05 14:00 - 15:30 | Институт по математика и информатика – БАН, Block 8, 1113 БАН IV км., София, Bulgaria
На 05.07.2022г. oт 14:00 в заседателната зала на ИМИ-БАН
ще се състои сбирка на семинара на секция „Математически основи на информатиката“.
Докладчик ще бъде проф. Александър Барг от Университета на Мериленд.
Той ще изнесе доклад на тема
Remarks on the 1st linear programming bound for binary codes
Abstract: The “linear programming bound” on the rate of binary codes (1977) is a fundamental result in coding theory that continues to attract attention to this day, with new proofs appearing every now and then. I will discuss 2 proofs from about 2006-08, appearing in arXiv:cs/0512025 (Barg-Nogin) and arXiv:math/0702425 (Navon and Samorodnitsky). Both proofs are based on Fourier analytic arguments on the Boolean cube and exhibit interesting parallels and differences (none of them actually uses linear programming). One of the applications enables us to establish upper bounds on the maximum size of binary codes of large distance, d=n/2 – t√n.
Поканват се всички желаещи.

МЦМН: Edging Higher - Inaugural Conference
2022-07-11 08:00 - 2022-07-14 17:00 | Grand Hotel Sofia, ul. Gen. Y. V. Gurko 1, 1000 Sofia Center, Sofia, Bulgaria
Edging Higher

ICMS-Sofia Inaugural Conference

July 11 – 14, 2022
Sofia, Bulgaria
От 11 до 14 юли 2022 г. в София ще се проведе Инагуралната конференция на Международния център по математически науки EDGING HIGHER. Международният форум ще бъде открит официално на 11 юли от 10:30 часа в Зала Триадица на Гранд хотел София, ул. „Гурко“ №1.
По време на откриването ще се проведе и церемонията по връчването на дипломата на Максим Концевич за Чуждестранен член на Българската академия на науките, с която той бе почетен през 2020 година.

Защита на дисертация за ОНС "доктор" на Георги Симеонов
2022-07-13 16:00 - 17:30 | Zoom
Институтът по математика и информатика при БАН и Научното жури за присъждане на образователната и научна степен “доктор” съобщават, че на 13 юли 2022 г. от 16:00 часа онлайн в платформата Zoom ще се проведе открито заседание на Научното жури за защита на дисертационен труд на тема:
Моделиране и анализ на големи данни за епидемията от COVID-19
на
Георги Симеонов Симеонов
за присъждане на образователна и научна степен “доктор” в област на висше образование 4. Природни науки, математика и информатика, професионално направление 4.6. Информатика и компютърни науки, докторска програма „Информатика”.
Научен ръководител:
проф. дмн Петър Станчев
Председател на Научното жури:
доц. д-р Александър Илиев Илиев
Членове на Научното жури:
проф. дмн Петър Любомиров Станчев
проф. д-р Боян Паскалев Бончев
проф. д-р Радослав Даков Йошинов
проф. д-р Румен Василев Николов
Материалите по защитата са на разположение в библиотеката на ИМИ – БАН и са публикувани на интернет страницата на ИМИ:
http://www.math.bas.bg/omi/IMIdocs/ZRASRB/degrees_phd_current.php
Линк към защитата:
https://us02web.zoom.us/j/85077341962?pwd=[REDACTED]

МЦМН: Conference on Geometry and Physics
2022-07-15 08:00 - 2022-07-18 17:00 | Hotel Riu Palace, Sunny Beach, Bulgaria, Sunny Beach, Bulgaria
Conference on Geometry and Physics

The goal of this conference is to consolidate and disseminate new developments in Geometry and Physics.
The list of participants includes:
Maxim Kontsevich, Institut des Hautes Études Scientifiques, France, Phillip Griffiths, Institute for Advanced Study, Karim Adiprasito, University of Copenhagen, Denmark, Vivek Shende, Centre for Quantum Mathematics, Syddansk Universitet, Denmark, Jørgen Ellegaard Andersen, University of Southern Denmark, Denmark, Oscar García-Prada, Instituto de Ciencias Matemáticas (ICMAT), Spain, Kenji Fukaya, Simons Center for Geometry and Physics at Stony Brook, USA, Mina Teicher, University of Miami, USA, Robert Stephen Cantrell, University of Miami, USA, Yong-Geon Oh, IBS Center for Geometry and Physics, Korea, Ernesto Lupercio, Cinvestav-IPN, México, Tony Pantev, University of Pennsylvania, USA, Ludmil Katzarkov, University of Miami, USA and Institute of Mathematics and Informatics, Bulgaria, Meral Tosun, Galatasaray University, Turkey, Dennis Borisov, University of Windsor, Canada, Artan Sheshmani, Harvard University, CMSA and IMSA, Richard Paul Horja, University of Miami, USA, Kyoung-Seog Lee, University of Miami, USA, Josef Svoboda, University of Miami, USA.
The conference is supported by the Simons Foundation and the Ministry of Education and Science of the Republic of Bulgaria.

Девети конгрес на 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/

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

Семинар "Алгебра и логика"
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/
============================== =====================

Семинар "Алгебра и логика"
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-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-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-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-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-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-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/
============================== =====================

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.
