BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Institute of Mathematics and Informatics
X-ORIGINAL-URL:https://math.bas.bg
X-WR-CALDESC:Събития за Institute of Mathematics and Informatics
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Sofia
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20260403T130000
DTEND;TZID=Europe/Sofia:20260403T143000
DTSTAMP:20260405T073542
CREATED:20260330T115722Z
LAST-MODIFIED:20260330T115722Z
UID:19024-1775221200-1775226600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 3 април 2026 г. (петък) от 13:00 часа\nще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nOn Pairs of Non-commuting Hermitian Operators on the Unitary Plane which are Permutable Measurements\nще изнесе \nВалентин Илиев (ИМИ-БАН).\nРезюме. In this presentation we study observables with spectre {-1\,1} on quantum systems with the unitary plane as a space of states. Examples of such quantum systems are spin-1/2 particles. We find necessary and sufficient conditions for two non-commuting observables to be permutable measurements\, that is\, the probability of obtaining a particular pair of results does not depend on the order of taking these measurements. Several examples are presented. \n\nЛинк към zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/88300991142?pwd=wGYl7VaD9RZKEm99sKzHMzl3bYCv3J.1\n\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-125/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20251205T130000
DTEND;TZID=Europe/Sofia:20251205T143000
DTSTAMP:20260405T073542
CREATED:20251202T111458Z
LAST-MODIFIED:20251202T111458Z
UID:18631-1764939600-1764945000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 5 декември 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom\nще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nКласически резултати в интервална темпорална логика с разширяващи модалности и кратките им доказателства с теоремата за разделянето\nще изнесе \nДимитър Гелев (ИМИ-БАН).\nРезюме. Показваме как\, с помощта на автомати на Стрийт и нашата теорема за разделянето в интервалната темпорална логика с разширяващи модалности ITL-NL\, се получават кратки доказателства на изразимостта в ITL-NL на квантора по съждителните променливи и интервални версии на нормалните форми от йерархията на Манна и Пнюели и\, като следствие\, интерполационната теорема на Крейг и теоремата за явната определимост на Бет. Формите от йерархията на Манна и Пнюели и теоремите на Крейг и Бет са технически нови за интервалната темпорална логика\, и казаните кратки доказателства са и първите им доказателства\, но всичките резултати са с утвърдено предварително известно приложение\, и в по-прости темпорални логики и вън от темпоралната логика. \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\n\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-124/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20251010T130000
DTEND;TZID=Europe/Sofia:20251010T143000
DTSTAMP:20260405T073542
CREATED:20251006T201908Z
LAST-MODIFIED:20251006T201908Z
UID:18315-1760101200-1760106600@math.bas.bg
SUMMARY:Съвместно заседание на семинара "Алгебра и логика" и семинара на секция ДУМФ
DESCRIPTION:На 10 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе съвместно заседание на семинара по Алгебра и логика и на семинара на секция “Диференциални уравнения и математическа физика”. \nДоклад на тема \nOn Z5 reduction of soliton equations related to sl(5) algebra\n ще изнесе \nВладимир Герджиков (ИМИ-БАН)\, \nсъвместна работа с Б. Костадинов (ИМИ-БАН)\, С. Мишев (НБУ) и А. Стефанов (ФМИ-СУ). \nРезюме: Recently a new approach to the integrable systems\, extending and generalizing the ISM was formulated. It is based on an effective parametrization of the Riemann-Hilbert problem\, which allows one to extend the class of Lax pairs and effectively derive only the corresponding NLEE as compatibility condition of two linear problems. This method is based on the possibility to treat the solution of the RHP as a fundamental analytic solution of the Lax pair\, and then to apply the dressing Zakharov-Shabat method for deriving the soliton solutions of the NLEE. The aim of the present paper is to extend Mikhailov Z5 reduction group to the parametrization of the Z5 RHP. The NLEE that we obtained are dispersionless. \n\nPublished in Journal of Physics: Conference Series\, Vol. 3002:(1)\, id. 012014\, 14 pp. \nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nПоканват се всички желаещи да присъстват.\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nHttps://www.math.bas.bg/algebra/seminarAiL/
URL:https://math.bas.bg/event/%d1%81%d1%8a%d0%b2%d0%bc%d0%b5%d1%81%d1%82%d0%bd%d0%be-%d0%b7%d0%b0%d1%81%d0%b5%d0%b4%d0%b0%d0%bd%d0%b8%d0%b5-%d0%bd%d0%b0-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80%d0%b0-%d0%b0%d0%bb%d0%b3%d0%b5/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20251003T130000
DTEND;TZID=Europe/Sofia:20251003T143000
DTSTAMP:20260405T073542
CREATED:20250930T115707Z
LAST-MODIFIED:20250930T115707Z
UID:18277-1759496400-1759501800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 3 октомври 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom\nще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nDecomposition of Tschirnhausen Modules for Coverings on Decomposable P1-Bundles\nще изнесе \nХристо Илиев (Американски университет в България и ИМИ-БАН).\nРезюме \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\n\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-123/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250725T130000
DTEND;TZID=Europe/Sofia:20250725T143000
DTSTAMP:20260405T073542
CREATED:20250724T082116Z
LAST-MODIFIED:20250724T082116Z
UID:18045-1753448400-1753453800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 25 юли 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ\nще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nDistinctness of the “lifted” Kloosterman sums over the prime field Fp\nще изнесе \nЛюбомир Борисов (ИМИ-БАН).\nРезюме \n\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-122/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250606T123000
DTEND;TZID=Europe/Sofia:20250606T140000
DTSTAMP:20260405T073542
CREATED:20250530T123427Z
LAST-MODIFIED:20250530T123427Z
UID:17850-1749213000-1749218400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 6 юни 2025 г. (петък) от 12:30 часа в зала 578 на ИМИ\nи онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nHolographic probe branes and artificial neural networks\nще изнесе \nВеселин Филев (ИМИ-БАН).\nРезюме: In holography\, flavour probe branes are used to introduce fundamental matter to the AdS/CFT correspondence. At a technical level\, the probes are described by extremizing the DBI action and solving the Lagrange–Euler equations of motion. I will report on applications of artificial neural networks that allow direct minimization of the regularized DBI action (interpreted as a free energy) without the need to derive and solve the equations of motion. I will consider\, as examples\, magnetic catalysis of chiral symmetry breaking and the meson melting phase transition in the D3/D7 holographic set-up. \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-121/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250516T130000
DTEND;TZID=Europe/Sofia:20250516T140000
DTSTAMP:20260405T073542
CREATED:20250514T091148Z
LAST-MODIFIED:20250514T091148Z
UID:17742-1747400400-1747404000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 16 май 2025 г. (петък) от 13:00 часа в зала 503 на ИМИ\nи онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nGrätzer-Schmidt Theorem in arithmetical transfinite recursion\nще изнесе \nSoowhan Yoon\n(American University in Bulgaria).\nAbstract: We assess the reverse mathematical strength of the Grätzer-Schmidt theorem (GS) as a principle in second order arithmetic. The theorem GS was studied in an article by Katie Brodhead\, Mushfeq Khan\, Bjørn Kjos-Hanssen\, William A. Lampe\, Paul Kim Long V. Nguyen\, and Richard A. Shore\, where they establish the provability of GS in Π11 Comprehension (Π11-CA0) and its restrictive variant GSD in arithmetical comprehension (ACA0). It will be shown that the arithmetical transfinite recursion (ATR0) is sufficient to prove GS. Additionally\, other variants of GS will be explored as well. Some will be proved in ACA0\, while others will be shown equivalent to ATR0 over ACA0. Then\, we will discuss these results in the context of “Almost Theorems of Hyperarithmetic Analysis” (ATHA) by Shore in 2023. \n\nЛинк към zoom-стаята на семинара:\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-120/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250429T140000
DTEND;TZID=Europe/Sofia:20250429T153000
DTSTAMP:20260405T073542
CREATED:20250424T212823Z
LAST-MODIFIED:20250427T075255Z
UID:17670-1745935200-1745940600@math.bas.bg
SUMMARY:Съвместна сбирка на семинара на МЦМН и семинара "Алгебра и Логика"
DESCRIPTION:Съвместна сбирка на семинара на МЦМН и семинара “Алгебра и Логика” в ИМИ\, София\, ще се проведе идния вторник\, с доклад на Георги Томанов\, както следва.\n\nВторник\, 29-ти април\, 14:00 часа\, зала 403 на ИМИ-БАН.\nГеорги Томанов\, Université Claude Bernard\, Lyon 1.\nGroup action on homogeneous spaces and applications in number theory\n\nAbstract: Many longstanding conjectures and problems in number theory can be reformulated in terms of group actions on homogeneous spaces. This reformulation allows them to be tackled using\, alongside deep methods from algebra and algebraic geometry\, powerful tools from ergodic theory and dynamical systems. An example of the effectiveness of this approach is Margulis’s groundbreaking proof of the Oppenheim conjecture (formulated in 1929) concerning the values of quadratic forms at integer points. \nIn this talk\, aimed at a general audience\, we will describe recent results on the characterization of norm forms—a classical object in algebraic number theory—in terms of their values at integer points. These results answer natural questions and are related to still-open conjectures of Littlewood (from 1930) and of Cassels and Swinnerton-Dyer (from 1955). The proofs rely on studying the actions of maximal tori of algebraic groups on homogeneous spaces of arithmetic origin. \n\nПовече информация можете да намерите на страницата на семинара:\nhttps://icms.bg/category/icms-seminar/
URL:https://math.bas.bg/event/%d1%81%d1%8a%d0%b2%d0%bc%d0%b5%d1%81%d1%82%d0%bd%d0%b0-%d1%81%d0%b1%d0%b8%d1%80%d0%ba%d0%b0-%d0%bd%d0%b0-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80%d0%b0-%d0%bd%d0%b0-%d0%bc%d1%86%d0%bc%d0%bd-%d0%b8/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250425T130000
DTEND;TZID=Europe/Sofia:20250425T140000
DTSTAMP:20260405T073542
CREATED:20250423T111012Z
LAST-MODIFIED:20250424T153714Z
UID:17652-1745586000-1745589600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 25 април 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ\nще се проведе заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nHilbert scheme of smooth projective curves and some easy examples\nще изнесе \nChangho Keem\n(Seoul National University\, South Korea).\nAbstract: Hilbert scheme is a parameter space for a family of projective algebraic varieties sharing a given fixed Hilbert polynomial.  In this talk\, we will discuss the following topics concerning the Hilbert scheme of smooth projective algebraic curves. \n1. Irreducibility problem of the restricted Hilbert scheme of curves. \n2. Some easy examples of reducible Hilbert schemes inside or outside the Brill-Noether range. \n3. The existence of more than expected dimensional components whose image under the moduli map has small codimension inside the moduli space of curves of genus g. \n  \nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-119/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250328T130000
DTEND;TZID=Europe/Sofia:20250328T143000
DTSTAMP:20260405T073542
CREATED:20250325T194351Z
LAST-MODIFIED:20250325T194351Z
UID:17510-1743166800-1743172200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 28 март 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ\nи онлайн чрез Zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nGraded algebras that are the sum of two homogeneous subalgebras\nще изнесе \nПламен Кошлуков (State University of Campinas\, Brazil). \nАбстракт. Let A be an algebra over a field F\, graded by a group G\, and let B and C be two homogeneous subalgebras of A such that A=B+C. We study the following problem: If B and C satisfy graded identities\, does the same also hold for A? \nThe analogous problem for algebras without any grading was proposed in 1994 by Beidar and Mikhalev; in implicit form it appeared in a paper by O. Kegel\, in 1963. Several particular cases were considered in a series of papers by various authors. In 2016\, Kępczyk gave an affirmative answer to this problem (without grading). \nWe show that if B and C satisfy graded identities\, and also B is a (one-sided) ideal of A then A=B+C also satisfies graded identities. We also study the situation where A satisfies specific graded semi-identities. In this case\, if C satisfies some graded identity in neutral variables\, we show that A satisfies graded identities. We also find upper bounds for the degrees of such identities. Here we use methods that go back to the classical Regev theorem on the growth of the codimensions of an associative algebra. \nFinally we exhibit an example that shows that the graded version of the Kępczyk theorem is no longer valid.\nThis is a joint work with P. S. Fagundes.\n  \nЛинк към zoom-стаята на семинара:\n\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-118/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250314T130000
DTEND;TZID=Europe/Sofia:20250314T143000
DTSTAMP:20260405T073542
CREATED:20250309T104623Z
LAST-MODIFIED:20250309T104623Z
UID:17437-1741957200-1741962600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 14 март 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ\nи онлайн чрез Zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nProtection Against Noise for a Type of Quantum Computation\nще изнесе \nВалентин Илиев (ИМИ-БАН). \nАбстракт. In this presentation we establish necessary and sufficient conditions for some pairs of quantum logic gates which operate on one qubit to be protected against crosstalk. More precisely\, it is devoted to the protection against noise for measurement-based quantum computation. We use the notions of (in)dependence of two events in an appropriate classical probability space and the related informational (in)dependence. \n  \nЛинк към zoom-стаята на семинара:\n\nHttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09\nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-117/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20250221T130000
DTEND;TZID=Europe/Sofia:20250221T143000
DTSTAMP:20260405T073542
CREATED:20250212T121254Z
LAST-MODIFIED:20250212T121254Z
UID:17305-1740142800-1740148200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 21 февруари 2025 г. (петък) от 13:00 часа в зала 578 на ИМИ\nще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nClassification of C*-algebras through the lens of Cartan subalgebras\nще изнесе \nAli Raad (Американски университет в България). \nАбстракт. C*-algebras were introduced in the last century following various attempts to mathematically formalize the foundations of quantum mechanics. As such they encapsulate the study of noncommutative topology\, as every C*-algebra is an algebra of bounded operators on some Hilbert space. Over the years there has been a significant attempt to classify C*-algebras by an invariant consisting of K-theoretic and tracial data. A recent breakthrough result has shown that every classifiable C*-algebra has a distinguished Abelian subalgebra called a Cartan subalgebra. Cartan subalgebras are pivotal in realizing C*-algebras as being built from topological groupoids. This yields concrete tools with which one can study a C*-algebra. A natural open problem is to find the defining characteristics of the groupoids giving rise to classifiable C*-algebras. In this talk I will discuss this problem and highlight some recent results. I aim to give a gentle overview of the theory of C*-algebras\, their classification\, Cartan subalgebras and their corresponding groupoids. Then I will highlight some recent progress in this open problem. Some of the results I will mention constitute joint work between myself and Xin Li\, as well as myself with Ward Bruyndonckx and Jonathan Taylor. \nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-116/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20241122T130000
DTEND;TZID=Europe/Sofia:20241122T143000
DTSTAMP:20260405T073542
CREATED:20241119T092125Z
LAST-MODIFIED:20241119T092125Z
UID:16941-1732280400-1732285800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 22 ноември 2024 г. (петък) от 13:00 часа в зала 578 на ИМИ\nще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nOn Köthe’s normality question for locally finite-dimensional central division algebras\nще изнесе \nИван Чипчаков\, ИМИ – БАН. \nАбстракт. This talk considers Köthe’s question of whether every associative locally finite-dimensional (abbr.\, LFD) central division algebra R over a field K is a normally locally finite (abbr.\, NLF) algebra over K\, that is\, whether every nonempty finite subset Y of R is contained in a finite-dimensional central K-subalgebra RY of R. It shows that the answer to the posed question is negative if K is a purely transcendental extension of infinite transcendence degree over an algebraically closed field k. On the other hand\, central division LFD-algebras over K turn out to be NLF in the following special cases: (i) K is a field of finite Diophantine dimension\, for example\, if K is a finitely-generated extension of a finite or a pseudo-algebraically closed field; (ii) K is a higher-dimensional local field with a finite last residue field. \nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-115/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240607T123000
DTEND;TZID=Europe/Sofia:20240607T140000
DTSTAMP:20260405T073542
CREATED:20240605T211422Z
LAST-MODIFIED:20240605T211422Z
UID:16409-1717763400-1717768800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 7 юни 2024 г. (петък) от 12:30 часа в зала 503 на ИМИ\nще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nSome Properties and Applications of Kloosterman Sums on Finite Fields\nще изнесе \nЛюбомир Борисов\, ИМИ – БАН. \nАбстракт \nПоканват се всички желаещи да присъстват. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-114/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240412T130000
DTEND;TZID=Europe/Sofia:20240412T143000
DTSTAMP:20260405T073542
CREATED:20240409T201342Z
LAST-MODIFIED:20240409T201619Z
UID:16175-1712926800-1712932200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 12 април 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nOn an Aspect of Second Quantum Revolution\nще изнесе \nВалентин Илиев\, ИМИ – БАН. \nАбстракт. The 2022 Nobel Prize in Physics has been awarded to Alain Aspect\, John Clauser\, and Anton Zeilinger for their work in Quantum Theory. Mass media called this event part of second quantum revolution which includes mainly quantum computing and other super-technologies. Here we discuss Alain Aspect’s version of Einstein-Podolsky-Rosen thought experiment and show that there exists an internal dependence of the simultaneous measurements made by the two pairs of linear polarizers operated in each leg of the apparatus during this experiment. The corresponding Shannon-Kolmogorov information flow (or\, noise?) linking a polarizer from one leg to a polarizer from the other leg is proportional to the absolute value of this function of dependence. It turns out that if Bell’s inequality is violated\, then the experiment performed at one leg is informationally dependent on the experiment at the other leg. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-113/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240329T130000
DTEND;TZID=Europe/Sofia:20240329T143000
DTSTAMP:20260405T073542
CREATED:20240326T074049Z
LAST-MODIFIED:20240326T074049Z
UID:16107-1711717200-1711722600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 29 март 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nGeneralized Definability of Discrete Time Interval-based Temporal Connectives\nще изнесе \nДимитър Гелев\, ИМИ – БАН. \nАбстракт. In Linear Temporal Logic with past (PLTL)\, expressive completeness implies that any first-order definable connective is also definable in the temporal language based on the Since and Until temporal operators. This is not the case about discrete time interval-based temporal logics with state-based semantics for the propositional variables. In this talk I prove the next best thing about the extension ITLNL of Moszkowski’s discrete time propositional Interval Temporal Logic (ITL) by the neighbourhood modalities: given an interval-based connective # which admits a first-order definition\, a star-free ITLNL defining formula for #(A1\,…\,Am) can be produced that is built from the past\, future and introspective formulas appearing in some separated equivalents of the operands A1\,…\,Am. The proof is based in an interval-based analogue of Gabbay’s separation theorem about PLTL that was previously established about ITLNL by the neighbourhood modalities by me and Moszkowski and have now used to prove the expressive completeness of ITLNL. As a side result I have come upon new proofs of expressive completeness and temporal separation for ITLNL’s star-free subset that I will briefly discuss too. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-112/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240322T130000
DTEND;TZID=Europe/Sofia:20240322T143000
DTSTAMP:20260405T073542
CREATED:20240315T082836Z
LAST-MODIFIED:20240315T082836Z
UID:16071-1711112400-1711117800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 22 март 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nOn the uniqueness of maximal solvable extensions of nilpotent Lie algebras\nще изнесе \nBakhrom A. Omirov (Harbin Institute of Technologies\, Harbin\, China and Romanovskiy Institute of Mathematics\, Uzbekistan Academy of Sciences\, Uzbekistan). \nАбстракт. During the talk it will be shown that under certain condition an arbitrary complex finite-dimensional maximal extension of a nilpotent Lie algebra N is isomorphic to the semidirect sum of N and its maximal torus. A criterion of the completeness for a finite-dimensional solvable Lie algebra is established. Comparisons with some existing results will also be discussed. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-111/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240223T130000
DTEND;TZID=Europe/Sofia:20240223T143000
DTSTAMP:20260405T073542
CREATED:20240216T131821Z
LAST-MODIFIED:20240216T131821Z
UID:15974-1708693200-1708698600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 23 февруари 2024 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nInvariant subalgebras of the rational Cherednik algebra\nще изнесе \nNiall Hird (University of Glasgow\, UK). \nАбстракт. The rational Cherednik algebra is a degeneration of the double affine Hecke algebra and an object of interest to many representation theorists\, it also has strong connections to integrable systems. In my talk I will discuss two subalgebras that arise from considering the invariants of the action of reductive subgroups of the special linear group. In particular we will examine the centres of these invariant subalgebras and compare with the algebra of invariants of the centre of the entire rational Cherednik algebra under the same groups. These subalgebras arise naturally in the study of rational Cherednik algebras\, one of which is the Dunkl angular momentum algebra and the other is generated by all degree zero elements. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-110/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20240108T130000
DTEND;TZID=Europe/Sofia:20240108T143000
DTSTAMP:20260405T073542
CREATED:20240104T180400Z
LAST-MODIFIED:20240104T180400Z
UID:15799-1704718800-1704724200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 8 януари 2024 г. (понеделник) от 13:00 часа в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom ще се проведе хибридно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nOn the exceptional series and its siblings\nще изнесе \nBruce Westbury (retired from University of Warwick\, UK). \nАбстракт. The exceptional series is the following series of eight simple Lie algebras: \nA1\, A2\, G2\, D4\, F4\, E6\, E7\, E8 \nConsider each Lie algebra\, g\, as a representation of the group Aut(g). Then the centraliser algebras of the first five tensor powers of g have common structure. First\, they have the same branching rules. We introduce a parameter so that the exceptional series is a set of eight points on a line. Then the values of the quadratic Casimir are linear functions of this parameter and the dimensions are rational functions of this parameter. \nThe exceptional series is one row in the Freudenthal magic square and all the preferred representations for each row also have analogous common structure. These series are lines. I will give a broad context for this common structure. \nThere is a plane which contains the first and fourth rows of the magic square and a three-dimensional space which contains the Vogel plane. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-109/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231201T130000
DTEND;TZID=Europe/Sofia:20231201T143000
DTSTAMP:20260405T073542
CREATED:20231129T101726Z
LAST-MODIFIED:20231129T104247Z
UID:15526-1701435600-1701441000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 1 декември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. \nДоклад на тема: \nCharacterization of Ideals of Q-algebras Related to its G-part\nще изнесе \nдоц. Йорг Копиц\, ИМИ – БАН. \nАбстракт. In this presentation\, we study the \(G\)-part of \(Q\)-algebras \(X\)\, i.e. the set \(G(X)=\{x\in X:0x=x\}\). We show that \(G(X)\) is an abelian group\, whenever \(G(X)\) is an ideal and characterize all \(Q\)-algebras \(X\) such that \(G(X)\) is an ideal of \(X\). Moreover\, we show that\, up to isomorphism\, there is only one \(Q\)-algebra \(X\) with \(G(X)=X\)\, which is only possible if \(|X|=2^{k}\) (\(k\in \mathbb{N}\)). \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-108/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231124T130000
DTEND;TZID=Europe/Sofia:20231124T150000
DTSTAMP:20260405T073542
CREATED:20231120T160634Z
LAST-MODIFIED:20231121T083451Z
UID:15474-1700830800-1700838000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 24 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”\, на който ще бъдат изнесени два доклада. \nОт 13:00 ч. Димитринка Владева (ИМИ-БАН) ще изнесе доклад на тема \nCatalan numbers and additively idempotent semirings\nОт 14:00 ч. Русанка Луканова (ИМИ-БАН) ще изнесе доклад на тема \nSemantics of Propositional Attitudes in Type-Theory of Algorithms\n  \nЗаглавие: Catalan numbers and additively idempotent semirings \nАбстракт. The purpose of the present talk is to provide new applications of remarkable Catalan numbers. In Richard Stanley’s book Enumerative Combinatorics\, Volume II (Cambridge University Press) there are many combinatorial objects that are counted by the Catalan numbers as well as applications in graph theory\, Young diagrams\, lattice theory\, real matrices\, real polynomials and so on. We show applications of Catalan numbers in some additively idempotent semirings which appeared in my results in 5 papers published between 2011 and 2023. \nThe set of nilpotent endomorphisms in the endomorphism semiring of a finite chain is a semiring of order (n – 1)th Catalan number and is an ideal in another semiring of order n th Catalan number. The semiring of k th nilpotent endomorphisms\, where 0 ≤ k ≤ n – 1 is of order a product of two Catalan numbers. By complex products of Catalan numbers we describe the roots of arbitrary idempotent of the endomorphism semiring of a finite chain.\nIn an additively idempotent semiring which is a generalization of the endomorphism semiring of a finite chain considered as a simplex we prove that the subsimplex of nilpotent elements is of order (n – 1) th Catalan number and it is closed under derivations which are projections of the simplex to some simplices.\nIn the last paper\, 2023\, we prove that an additively idempotent semiring which is an S0-semialgebra\, where S0 is a commutative additively idempotent semiring\, and with a finite basis of a special type is isomorphic to a matrix semiring. As a consequence we obtain two different semirings of upper triangular matrices over the Boolean semiring\, which are of order (n + 1) th Catalan number.\n\n\nЗаглавие: Semantics of Propositional Attitudes in Type-Theory of Algorithms \nАбстракт. Natural language (NL) is notorious for various kinds of ambiguities.  Among the most difficult ones\, for computational handling of NL\, are expressions with multiple occurrences of quantifiers\, which contribute to quantifier scope ambiguities. Far more difficult for computational linguistics are NL expressions having occurrences of so-called attitude components designating knowledge\, believes\, statements\, and similar semantic information. \nOften\, the syntactic complement of an attitude lexeme is a sentential expression. The sentential complement may have subexpressions that designate semantic information belonging to varying scopes.  Depending on context\, some components can be semantic parts of the attitudinal information\, which is in the scope of the propositional attitude\, or external to it. \nThe first formal representation of NL attitudes was by Montague\, 1973\, along with the quantifier scope ambiguities\, by the notions of extension and intension\, and using extra-syntactic disambiguation of NL expressions. That approach\, while unsatisfactory in important aspects\, was adopted and adapted by some variants of Montague grammars\, for specific purposes. The problem has been largely open\, due to its purely semantic nature and computational difficulties\, without direct syntactic appearance. \nThe semantic phenomena of attitudes include statements in natural language\, including in the domains of mathematical texts and proofs. \nIn this presentation of a recent paper\, I extend the type-theory of algorithms\, to cover algorithmic semantics of some of the major attitude expressions and their semantic underspecification. I provide reduction calculus for deriving semantic specifications in contexts. \n  \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-107/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231117T130000
DTEND;TZID=Europe/Sofia:20231117T143000
DTSTAMP:20260405T073542
CREATED:20231114T182803Z
LAST-MODIFIED:20231114T182803Z
UID:15410-1700226000-1700231400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 17 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. \nДоклад на тема: \nNoncommutative invariants of dihedral groups\nще изнесе \nБоян Костадинов\, ИМИ – БАН. \nАбстракт. We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case\, when the algebra of invariants is not finitely generated\, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.\nThe results are obtained jointly with Vesselin Drensky. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-106/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231110T130000
DTEND;TZID=Europe/Sofia:20231110T143000
DTSTAMP:20260405T073542
CREATED:20231106T101108Z
LAST-MODIFIED:20231106T101108Z
UID:15351-1699621200-1699626600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 10 ноември 2023 г. (петък) от 13:00 часа ще се проведе хибридно заседание (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) на семинара по „Алгебра и логика”. \nДоклад на тема: \nTransfinite version of the Mittag-Leffler condition for the vanishing of the derived limit\nще изнесе \nMishel Carelli (Technion – Israel Institute of Technology\, Israel). \nАбстракт. We give a necessary and sufficient condition for an inverse sequence  S0 ← S1 ← . . . indexed by natural numbers to have lim¹S = 0. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in the category of abelian groups. We also show that the class of inverse sequences S such that lim S = lim¹S = 0 is the least class of inverse sequences containing the trivial inverse sequence and closed with respect to small limits and a certain type of extensions. \nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-105/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231103T130000
DTEND;TZID=Europe/Sofia:20231103T143000
DTSTAMP:20260405T073542
CREATED:20231026T161427Z
LAST-MODIFIED:20231026T161427Z
UID:15287-1699016400-1699021800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 3 ноември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nA Reduction of Temporary Coalitions in Infinite Multiplayer Games\nще изнесе Димитър Гелев. \nАбстракт. We propose a transformation of Concurrent Game Models which enables the reduction of infinite multiplayer games where players can form temporary coalitions to games with no coalitions by extending moves to include the negotiation steps that lead to the formation of coalitions. We adopt conditional promises as the building blocks of negotiation. Temporary coalitions and their agendas arise as the logical consequences of mutual promises. The transformation enables the use of established solution concepts about games with no coalitions for the analysis of games with temporary coalitions. \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-104/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231020T130000
DTEND;TZID=Europe/Sofia:20231020T143000
DTSTAMP:20260405T073542
CREATED:20231016T064735Z
LAST-MODIFIED:20231016T064735Z
UID:15193-1697806800-1697812200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 20 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nPrime numbers and random walks in a square grid\nще изнесе Alberto Fraile (Czech Technical University in Prague\, Czech Republic). \nСъвместна работа с Osame Kinouchi\, Prashant Dwivedi\, Roberto Martínez\, Theophanes E. Raptis и Daniel Fernández \nАбстракт. One can argue that prime numbers present perplexing features\, in a hybrid of local unpredictability and global regular behavior. It is this interplay between randomness and regularity that motivated searches for both local and global patterns that could potentially become signatures for certain underlying fundamental mathematical properties.In recent years\, computer simulations are playing a fundamental role in unveiling some of the most intriguing features of prime numbers. In this work\, we define an algorithm for a deterministic walk through a two-dimensional grid that we refer to as Prime Walk (PW). The walk is constructed from a sequence of steps dictated by and dependent on the sequence of last digits of the primes. Despite the apparent randomness of this generating sequence\, the resulting structure – both in 2d and 3d – created by the algorithm presents remarkable properties and regularities in its pattern that we proceed to analyze in detail [1]. \n[1] A. Fraile\, O. Kinouchi\, P. Dwivedi\, R. Martínez\, T. E. Raptis\, D. Fernández\, Prime numbers and random walks in a square grid\, Phys. Rev. E 104 (5)\, 054114-054120 (2021). \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-103/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20231013T130000
DTEND;TZID=Europe/Sofia:20231013T143000
DTSTAMP:20260405T073542
CREATED:20231006T132150Z
LAST-MODIFIED:20231006T132150Z
UID:15092-1697202000-1697207400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 13 октомври 2023 г. (петък) от 13:00 часа ще се проведе хибридно (присъствено в зала 578 на ИМИ-БАН и онлайн чрез платформата zoom) заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nEmmy Noether’s Theorem on the Finite Generation of the Algebra of Invariants\nще изнесе Марин Генов (ИМИ – БАН). \nАбстракт. I will introduce Emmy Noether’s theorem on the finite generation of invariants and give two proofs of it. As an example\, I will also calculate the algebra of invariants of the dihedral group of order 2n acting on C[x\,y]. \n\nЛинк към Zoom-стаята на семинара:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\n\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-102/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230929T130000
DTEND;TZID=Europe/Sofia:20230929T143000
DTSTAMP:20260405T073542
CREATED:20230925T142821Z
LAST-MODIFIED:20230925T145459Z
UID:15043-1695992400-1695997800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 29 септември 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nReset Controller Synthesis\nще изнесе Naijun Zhan (Institute of Software Chinese Academy of Sciences (ISCAS)\, China). \nАбстракт. Controller synthesis provides a Correct-by-construction mechanism to guarantee the correctness and reliability of hybrid systems (HS) by design. Depending on the types of controls\, controllers can be classified into reset controllers\, feedback controllers\, and switching logic controllers. Reset controllers steer the behaviour of a HS to attain system objective through restricting its initial set and redefining the reset map associated with discrete jumps\, which is less explored in the literature\, although it is of theoretical and practical significance. In this talk\, I will summarize our recent work on the reset controller synthesis for HS. The basic idea is to reduce the problem of guaranteeing safety and liveness properties to differential invariant generation and generalized reach-avoid problems. For polynomial hybrid systems\, those problems can be solved by further reduced to convex optimizations. \nMoreover\, for reality\, we discuss this issue in the context of time-delay\, as time delay is inevitable in practice. So\, we investigate the reset controller synthesis problem for delay hybrid systems (dHS).\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:\nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \n\nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Sep 29\, 2023 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647\n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-101/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230926T140000
DTEND;TZID=Europe/Sofia:20230926T153000
DTSTAMP:20260405T073543
CREATED:20230917T153449Z
LAST-MODIFIED:20230918T115002Z
UID:14963-1695736800-1695742200@math.bas.bg
SUMMARY:Съвместно заседание на общия семинар на секция „Анализ\, геометрия и топология“ и семинара на секция „Алгебра и логика”
DESCRIPTION:На 26 септември 2023 г. от 14:00 часа в зала 478 на ИМИ-БАН\nще се проведе съвместно заседание на\nобщия семинар на секция „Анализ\, геометрия и топология“\nи семинара на секция „Алгебра и логика”. \nДоклад на тема \nBurau Representation and Application to Reducibility and Exchangeability of Braids\nще изнесе Alexander Stоimenov\, Dongguk University\, Republic of Korea. \nАбстракт. I will give an introduction to the braid groups\, closure operation\, Markov theorem\, and exchange move. Then I will introduce the Burau representation\, and discuss its application to reducibiliy and exchangeability of braids.
URL:https://math.bas.bg/event/%d1%81%d1%8a%d0%b2%d0%bc%d0%b5%d1%81%d1%82%d0%bd%d0%be-%d0%b7%d0%b0%d1%81%d0%b5%d0%b4%d0%b0%d0%bd%d0%b8%d0%b5-%d0%bd%d0%b0-%d0%be%d0%b1%d1%89%d0%b8%d1%8f-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Работен семинар,Редовен семинар
ORGANIZER;CN="%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82%20%D0%BF%D0%BE%20%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20-%20%D0%91%D0%90%D0%9D":MAILTO:office@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230623T130000
DTEND;TZID=Europe/Sofia:20230623T143000
DTSTAMP:20260405T073543
CREATED:20230620T103815Z
LAST-MODIFIED:20230620T103836Z
UID:14584-1687525200-1687530600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 23 юни 2023 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН ще се проведе присъствено заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nDistinctness of the “Lifted” Kloosterman Sums over the Prime Field Fp\nще изнесе Любомир Борисов. \n\nАбстракт \n  \n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\n\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/copy-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20230616T130000
DTEND;TZID=Europe/Sofia:20230616T143000
DTSTAMP:20260405T073543
CREATED:20230612T095945Z
LAST-MODIFIED:20230612T095945Z
UID:14552-1686920400-1686925800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 16 юни 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nPolynomial identities in Novikov algebras\nще изнесе Nurlan Ismailov (Astana IT University and Suleyman Demirel University\, Kaskelen\, Kazakhstan)\n(Joint work with V. Dotsenko and U. Umirbaev). \n\nАбстракт.The talk is devoted to Novikov algebras satisfying nontrivial identities. We show that a Novikov algebra over a field of zero characteristic that satisfies a nontrivial identity satisfies some unexpected “universal” identities\, in particular\, right associator nilpotence\, and right nilpotence of the commutator ideal. This\, in particular\, implies that a Novikov algebra over a field of zero characteristic satisfies a nontrivial identity if and only if it is Lie-solvable. We also establish that any system of identities of Novikov algebras over a field of zero characteristic follows from finitely many of them\, and that the same holds over any field for multilinear Novikov identities. Some analogous simpler statements are also proved for commutative differential algebras. \n  \n\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Jun 16\, 2023 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \n\n\nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/\n============================== =====================
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b0%d0%bb%d0%b3%d0%b5%d0%b1%d1%80%d0%b0-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b0-100/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%20%D0%B8%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR