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;TZID=Europe/Sofia:20220724T080000
DTEND;TZID=Europe/Sofia:20220813T170000
DTSTAMP:20260622T194649
CREATED:20220802T085039Z
LAST-MODIFIED:20220802T085039Z
UID:12756-1658649600-1660410000@math.bas.bg
SUMMARY:22. Лятна изследователска школа на УчИМИ
DESCRIPTION:За двадесет и втори пореден път Ученическият институт по математика и информатика (УчИМИ) организира своята Лятна изследователска школа по математика и информатика (ЛИШ’22). Тя ще се проведе хибридно от 24 юли до 13 август\, като през първата седмица учениците ще слушат лекции дистанционно\, а след това школата ще продължи в Творческия дом на БАН във Варна. \nЗа участие в програмата на ЛИШ тази година се класираха 46 ученици с изявени интереси в областта на математиката\, информатиката и информационните технологии. \nВ школата вече традиционно има международно участие и официалният език\, на който тя се води\, е английски. Тридесет и един са средношколците от България\, а заедно с тях в школата ще участват ученици от Албания\, Азербайджан\, Бразилия\, Индия\, Катар\, Саудитска Арабия и САЩ. Трима от тях ще дойдат на място в България\, а останалите ще продължат работата със своите ментори дистанционно.
URL:https://math.bas.bg/event/22-%d0%bb%d1%8f%d1%82%d0%bd%d0%b0-%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%b0-%d1%88%d0%ba%d0%be%d0%bb%d0%b0-%d0%bd%d0%b0-%d1%83%d1%87%d0%b8%d0%bc%d0%b8/
LOCATION:Творчески дом на БАН\, Варна\, Варна\, к.к. “Чайка”\, спирка “Журналист”\, Varna\, Bulgaria
CATEGORIES:Лятна школа
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20220729T130000
DTEND;TZID=Europe/Sofia:20220729T143000
DTSTAMP:20260622T194649
CREATED:20220722T183455Z
LAST-MODIFIED:20220722T183455Z
UID:12721-1659099600-1659105000@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема: \nModal Descriptive Complexity\nще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). \n\nАбстракт. 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. \nIn 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. \n\n  \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: July 29\, 2022 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-83/
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