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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20221125
DTEND;VALUE=DATE:20221127
DTSTAMP:20260612T113305
CREATED:20221020T181545Z
LAST-MODIFIED:20221020T193333Z
UID:12994-1669334400-1669507199@math.bas.bg
SUMMARY:Национален семинар "Изследователският подход в математическото образование"
DESCRIPTION:Следващото издание на Националния семинар “Изследователският подход в математическото образование”  ще се проведе хибридно на 25 – 26 ноември 2022 г. \nМожете да се участва с доклад\, постер или като наблюдател. \nСрокът за регистрация за Националния семинар по образование е 13 ноември 2022 г.\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-3/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Конференция,Работен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20221125T130000
DTEND;TZID=Europe/Sofia:20221125T143000
DTSTAMP:20260612T113305
CREATED:20221122T093807Z
LAST-MODIFIED:20221122T093807Z
UID:13319-1669381200-1669386600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nLogic Operators and Quantifiers in Type-Theory of Algorithms\nще изнесе Русанка Луканова (ИМИ – БАН). \n\nАбстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus\, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae\, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction\, disjunction\, implication\, and negation. I extend the formal language of LR by state-dependent quantifiers\, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms\, for reductions of LR terms to their canonical forms. \n  \n\n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Nov 25\, 2022 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-91/
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