BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.16.5.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20211105T130000
DTEND;TZID=Europe/Sofia:20211105T143000
DTSTAMP:20211101T195114Z
CREATED:20211101T195114Z
LAST-MODIFIED:20211101T195114Z
UID:11405-1636117200-1636122600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 5 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nPermutation groups and permutation patterns\nще изнесе Erkko Lehtonen (Universidade Nova de Lisboa\, Portugal). \nАбстракт. We approach permutations from two different points of view: the algebraic one of permutation groups and the combinatorial one of permutation patterns. While these two well-established notions do not seem to have much in common\, there is a perhaps surprising connection that will be explained in this talk. Namely\, the class of permutations avoiding the complement of a permutation group is comprised of levels that are permutation groups.\nWith the help of invariant relations\, we describe the permutation groups that arise in this way from pattern avoidance. Furthermore\, we propose refinements to the work by Atkinson and Beals on permutation classes in which all levels are groups. \n\nThis talk is partly based on joint work with Reinhard Pöschel (Technische Universität Dresden). \n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Nov 05\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-63/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20211119T130000
DTEND;TZID=Europe/Sofia:20211119T143000
DTSTAMP:20211112T164026Z
CREATED:20211112T164026Z
LAST-MODIFIED:20211112T164026Z
UID:11473-1637326800-1637332200@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 19 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nIdentities of Vector Spaces and Nonassociative Linear Algebras\nще изнесе Alexey V. Kislitsin (Altai State Pedagogical University\, Barnaul\, Russia). \nДокладът е съвместен с Ismail M. Isaev (Altai State Pedagogical University\, Barnaul\, Russia). \nДокладът ще бъде изнесен на руски език\, а слайдовете ще бъдат на английски. \nАбстракт. In this talk\, we study the concept of the identity of the L-space as a weak identity of the pair (A\, E)\, where A is the associative F-algebra generated by the vector space E over the field F. We study the properties of the L-spaces and their identities. Corollaries of some of the results proved are also obtained for non-associative linear algebras satisfying the identity x(yz) = 0. \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Nov 19\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-64/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20211126T130000
DTEND;TZID=Europe/Sofia:20211126T143000
DTSTAMP:20211119T183527Z
CREATED:20211119T183527Z
LAST-MODIFIED:20211119T183527Z
UID:11492-1637931600-1637937000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 26 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nOn a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames\nще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). \nАбстракт. We elaborate on semantically labeled syntax trees\, which provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of either models or frames\, and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae but the latter require more propositional variables. \nThe talk is based on the following articles. \nP. Iliev. On a method of proving the non-existence of modal formulae\nsatisfying certain syntactic properties and defining a given class of frames (submitted). \nP. Balbiani\, D. Fernandez-Duque\, A. Herzig\, and P. Iliev. Frame validity Games and Lower Bounds on the Complexity of Modal Axioms. Logic Journal of the IGPL (2020). \n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Nov 26\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \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-65/
LOCATION:Zoom
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F %D0%90%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":MAILTO:algebra_logic_seminar@math.bas.bg
END:VEVENT
END:VCALENDAR