За двадесет и втори пореден път Ученическият институт по математика и информатика (УчИМИ) организира своята Лятна изследователска школа по математика и информатика (ЛИШ’22). Тя ще се проведе хибридно от 24 юли до 13 август, като през първата седмица учениците ще слушат лекции дистанционно, а след това школата ще продължи в Творческия дом на БАН във Варна. За участие в програмата на ЛИШ тази година се класираха 46 ученици с изявени интереси в областта на математиката, информатиката и информационните технологии. В школата вече традиционно има международно участие и официалният език, на който тя се води, е английски. Тридесет и един са средношколците от България, а заедно с тях в школата ще участват ученици от Албания, Азербайджан, Бразилия, Индия, Катар, Саудитска Арабия и САЩ. Трима от [...]

На 29 юли 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Modal Descriptive Complexity ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН). Абстракт. 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 [...]