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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20211126
DTEND;VALUE=DATE:20211128
DTSTAMP:20260630T082634
CREATED:20210914T162917Z
LAST-MODIFIED:20210914T162917Z
UID:11105-1637884800-1638057599@math.bas.bg
SUMMARY:Национален семинар "Изследователският подход в математическото образование"
DESCRIPTION:Следващото издание на Националния семинар “Изследователският подход в математическото образование”  ще се проведе онлайн на 26 – 27 ноември 2021 г. \nМожете да се участва с доклад\, постер или като наблюдател. \nСрокът за регистрация за Националния семинар по образование е 14 ноември 2021 г.\nРегистрацията можете да направите онлайн чрез Регистрационната форма за Националния семинар по образование. \nЗа повече информация посетете сайта на семинара.
URL:https://math.bas.bg/event/%d0%bd%d0%b0%d1%86%d0%b8%d0%be%d0%bd%d0%b0%d0%bb%d0%b5%d0%bd-%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%b8%d0%b7%d1%81%d0%bb%d0%b5%d0%b4%d0%be%d0%b2%d0%b0%d1%82%d0%b5%d0%bb%d1%81%d0%ba%d0%b8-2/
LOCATION:Онлайн
CATEGORIES:Конференция,Работен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20211126T130000
DTEND;TZID=Europe/Sofia:20211126T143000
DTSTAMP:20260630T082634
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%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