BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Institute of Mathematics and Informatics - ECPv6.0.8//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:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
TZNAME:EET
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210108T130000
DTEND;TZID=Europe/Sofia:20210108T140000
DTSTAMP:20260702T072624
CREATED:20210103T220910Z
LAST-MODIFIED:20210104T065315Z
UID:9698-1610110800-1610114400@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 8 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nДиференцирания в матрични полупръстени\nще изнесе Димитринка Владeва (ЛТУ – София). \nРезюме \n\nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Jan 08\, 2021 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-36/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
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
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210115T093000
DTEND;TZID=Europe/Sofia:20210115T171000
DTSTAMP:20260702T072624
CREATED:20210107T191743Z
LAST-MODIFIED:20210113T111210Z
UID:9724-1610703000-1610730600@math.bas.bg
SUMMARY:Семинар "Алгебра и логика" - съвместно заседание със Семинара по математическа логика на ФМИ и Семинара по логика на Института по философия и социология на БАН
DESCRIPTION:Семинар по алгебра и логика \nСъвместно заседание със Семинара по математическа логика на Факултета по математика и информатика на Софийския университет и на Семинара по логика на Института по философия и социология на БАН \nПо случай Третия световен ден на логиката 2021\, на 15 януари 2021 г. (петък) от 9:30 до 17:10 часа ще се проведе съвместно заседание на Семинара по алгебра и логика на Института по математика и информатика на БАН\, на Семинара по математическа логика на Факултета по математика и информатика на Софийския университет и на Семинара по логика на Института по философия и социология на БАН. \nСъбитието ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/84006543603?pwd=UjVMK0dFaFJwN2t6L1pPR2FhT2o0dz09 \nTime: Jan 15\, 2021 09:30 Sofia \nMeeting ID: 840 0654 3603 \nPasscode: 116245 \nПрограмата на семинара може да се намери на адрес \nhttp://www.math.bas.bg/algebra/seminarAiL/Mezhdunaroden%20den%20na%20logikata%202021/WorldLogicDay2021Sofia.pdf \nСтраницата на официалното Световно откриване на празнуването на 14 януари 2021 е http://www.logica-universalis.org/wld3. \nСтраницата съдържа и предварително записано видео с приветствието на Нейно превъзходителство Мария Едилеуза Фонтенеле Реис до световната общност\, което всеки може да види на http://www.logica-universalis.org/wld3-brazilian-unesco-ambassador. \nДвама от нашите колеги\, Александра Соскова и Валентин Горанко\, са сред официалните гости на церемонията. \nОт секция „Алгебра и логика” на ИМИ – БАН\nhttp://www.math.bas.bg/algebra/seminarAiL/
URL:https://math.bas.bg/event/algebra-and-logic-seminar-joint-meeting-with-the-seminar-of-mathematical-logic-of-the-faculty-of-mathematics-and-informatics-of-sofia-university/
LOCATION:Кръгла маса: „Практики за отворени и отговорни научни изследвания в академичния жизнен цикъл: възможности за включване на алтметрики в оценяването на научните изследвания“
CATEGORIES:Конференция,Редовен семинар
ORGANIZER;CN="%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82%20%D0%BF%D0%BE%20%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20-%20%D0%91%D0%90%D0%9D":MAILTO:office@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20210119
DTEND;VALUE=DATE:20210123
DTSTAMP:20260702T072624
CREATED:20210120T155754Z
LAST-MODIFIED:20210120T155754Z
UID:9872-1611014400-1611359999@math.bas.bg
SUMMARY:МЦМН: Виртуална конференция Homological Mirror Symmetry and Applications
DESCRIPTION:Международният център по математически науки (МЦМН) към ИМИ-БАН \nВи кани да присъствате на виртуалната конференция \nHomological Mirror Symmetry and Applications\,\nJanuary 19 – 22\, 2021 \nорганизирана съвместно с \nInstitute of the Mathematical Sciences of the Americas at the University of Miami (IMSA) \nПрограма\, абстракти на докладите и линк към конфетренцията са достъпни на следния адрес: \nhttps://www.imsa.miami.edu/spring-2021-emphasis-semester/homological-mirror-symmetry-and-applications/index.html
URL:https://math.bas.bg/event/%d0%bc%d1%86%d0%bc%d0%bd-%d0%b2%d0%b8%d1%80%d1%82%d1%83%d0%b0%d0%bb%d0%bd%d0%b0-%d0%ba%d0%be%d0%bd%d1%84%d0%b5%d1%80%d0%b5%d0%bd%d1%86%d0%b8%d1%8f-homological-mirror-symmetry-and-applications/
LOCATION:Zoom
CATEGORIES:Конференция
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210120T141500
DTEND;TZID=Europe/Sofia:20210120T150000
DTSTAMP:20260702T072624
CREATED:20210120T153931Z
LAST-MODIFIED:20210120T153931Z
UID:9867-1611152100-1611154800@math.bas.bg
SUMMARY:Семинар на секция ДУМФ
DESCRIPTION:На 29.01.2021 г. от 14:15 чрез платформата Zoom ще се проведе първата сбирка за 2021 г. на семинара по Диференциални уравнения и математическа физика. Лекция на тема:\n\nIntersecting Null Cones and Mathematical Modeling of GPS\, GLONASS Intersatellite Communications in the Gravitational Field of Near-Earth Space with Account of General Relativity Theory\nще изнесе д-р Богдан Димитров от Институт за ядрени изследвания и ядрена енергетика към БАН.\n\nСледва линка към срещата \nJoin Zoom Meeting\nhttps://us02web.zoom.us/j/87368542312?pwd=ZkRZTkp6aTl0U0o0UlZ2L0h3Q0lBZz09 \n\n\n\nСекция “Диференциални уравнения и математическа физика”
URL:https://math.bas.bg/event/%d1%81%d0%b5%d0%bc%d0%b8%d0%bd%d0%b0%d1%80-%d0%bd%d0%b0-%d1%81%d0%b5%d0%ba%d1%86%d0%b8%d1%8f-%d0%b4%d1%83%d0%bc%d1%84/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
ORGANIZER;CN="%D0%A1%D0%B5%D0%BA%D1%86%D0%B8%D1%8F%20%D0%94%D0%B8%D1%84%D0%B5%D1%80%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB%D0%BD%D0%B8%20%D1%83%D1%80%D0%B0%D0%B2%D0%BD%D0%B5%D0%BD%D0%B8%D1%8F%20%D0%B8%20%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%20%D1%84%D0%B8%D0%B7%D0%B8%D0%BA%D0%B0":MAILTO:seminar_differential_equations@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210121T153000
DTEND;TZID=Europe/Sofia:20210121T173000
DTSTAMP:20260702T072624
CREATED:20210107T113046Z
LAST-MODIFIED:20210118T162753Z
UID:9709-1611243000-1611250200@math.bas.bg
SUMMARY:Защита на дисертационен труд за ОНС "доктор" на Микела Трамонти
DESCRIPTION:Институтът по математика и информатика при БАН и Научното жури за присъждане на образователната и научна степен „доктор“ съобщават\, че на 21 януари 2021 г. от 15.30ч. онлайн ще се проведе открито заседание на Научното жури за защита на дисертационен труд на тема: \nЗАПАДНИ И ИЗТОЧНИ ПОДХОДИ В ОБРАЗОВАНИЕТО ПО МАТЕМАТИКА\, КОМБИНИРАНИ С ИЗКУСТВО\nна МИКЕЛА ТРАМОНТИ\n \nОбласт на висше образование 1. Педагогически науки\,\nПрофесионално направление 1.3. Педагогика на обучението по …\,\nДокторска програма „Методика на обучението по математика\, информатика и информационни технологии“ \nНаучни консултанти:\nдоц. д-р Десислава Панева-Маринова и доц. д-р Евгения Сендова \nПредседател на Научното жури:\nпроф. д-р Кирил Банков – рецензент \nЧленове на Научното жури:\nдоц. д-р Николина Николова – рецензент\nпроф. дпн Йордан Табов\nдоц. д-р Десислава Панева-Маринова\nдоц. д-р Таня Тонова \nЛинк за защитата: \nhttps://teams.microsoft.com/l/meetup-join/19%3aa581028a09c04137aea368277cdf4285%40thread.tacv2/1610956733424?context=%7b%22Tid%22%3a%22cbd33b96-6764-481f-bafe-8e10ee67155b%22%2c%22Oid%22%3a%22507832e2-2a4a-4be9-9f93-26dfc9d66a6f%22%7d \nМатериалите по защитата са на разположение в библиотеката на ИМИ-БАН и са публикувани на интернет страницата на ИМИ: http://www.math.bas.bg/IMIdocs/ZRASRB/degrees_phd_current.php
URL:https://math.bas.bg/event/%d0%b7%d0%b0%d1%89%d0%b8%d1%82%d0%b0-%d0%bd%d0%b0-%d0%b4%d0%b8%d1%81%d0%b5%d1%80%d1%82%d0%b0%d1%86%d0%b8%d0%be%d0%bd%d0%b5%d0%bd-%d1%82%d1%80%d1%83%d0%b4-%d0%b7%d0%b0-%d0%be%d0%bd%d1%81-%d0%b4%d0%be-2/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Защита
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210125T140000
DTEND;TZID=Europe/Sofia:20210125T160000
DTSTAMP:20260702T072624
CREATED:20201227T140345Z
LAST-MODIFIED:20210123T152351Z
UID:9685-1611583200-1611590400@math.bas.bg
SUMMARY:Защита на дисертация за ОНС „доктор“ на Олег Илиев
DESCRIPTION:Институтът по математика и информатика при БАН и Научното жури за присъждане на образователната и научна степен „доктор“ съобщават\, че на 25 януари 2021 г.от 14.00 часа(в зала 115 на ИМИ-БАН) онлайн\, ще се проведе открито заседание на Научното жури за защита на дисертационен труд на тема: \nМЕТОДИ И МОДЕЛИ ЗА ПЕРСОНАЛИЗАЦИЯ НА ТЕМАТИЧНО-ОРИЕНТИРАНО УЧЕБНО СЪДЪРЖАНИЕ\nна ОЛЕГ ПЕТРОВ ИЛИЕВ\n\nОбласт на висше образование 4. Природни науки\, математика и информатика\,\nПрофесионално направление 4.6. Информатика и компютърни науки\,\nДокторска програма „Информатика“ \nНаучен ръководител:\nпроф. д-р Радослав Йошинов \nПредседател на Научното жури:\nдоц. д-р Десислава Панева-Маринова –рецензент \nЧленове на Научното жури:\nпроф. дн Даниела Борисова –рецензент\nпроф. дн Иван Гарванов\nпроф. дн Любка Дуковска\nпроф. д-р Радослав Павлов \nЛинк за защитата:\nhttps://teams.microsoft.com/l/meetup-join/19%3aa581028a09c04137aea368277cdf4285%40thread.tacv2/1611332282197?context=%7b%22Tid%22%3a%22cbd33b96-6764-481f-bafe-8e10ee67155b%22%2c%22Oid%22%3a%22507832e2-2a4a-4be9-9f93-26dfc9d66a6f%22%7d \nМатериалите по защитата са на разположение в библиотеката на ИМИ – БАН и са публикувани на интернет страницата на ИМИ:\nhttp://www.math.bas.bg/IMIdocs/ZRASRB/degrees_phd_current.php \n 
URL:https://math.bas.bg/event/%d0%b7%d0%b0%d1%89%d0%b8%d1%82%d0%b0-%d0%bd%d0%b0-%d0%b4%d0%b8%d1%81%d0%b5%d1%80%d1%82%d0%b0%d1%86%d0%b8%d1%8f-%d0%b7%d0%b0-%d0%be%d0%bd%d1%81-%d0%b4%d0%be%d0%ba%d1%82%d0%be%d1%80-3/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Защита
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210126T181500
DTEND;TZID=Europe/Sofia:20210126T181500
DTSTAMP:20260702T072624
CREATED:20210111T140856Z
LAST-MODIFIED:20210111T160332Z
UID:9788-1611684900-1611684900@math.bas.bg
SUMMARY:Лекция на Терънс Тао в памет на акад. Благовест Сендов
DESCRIPTION:Международният център по математически науки (МЦМН) към ИМИ-БАН \nВи кани лекцията на \nTerence Tao\, University of California\, Los Angeles (UCLA)\nв памет на акад. Благовест Сендов \nSendov’s conjecture for sufficiently high degree polynomials\n26 януари 2021 г.\, 18:15 ч. EET (local Sofia time) \nорганизирана съвместно с \nInstitute of the Mathematical Sciences of the Americas at the University of Miami (IMSA)\nи\nСъюз на математиците в България (СМБ) \nПодробности ще намерите на сайта на международния център: https://icms.bg/. \nЛекцията ще се проведе чрез Zoom  на следния адрес:\nhttps://zoom.us/j/96005943833?pwd=cG9aalBjcTVZVy9LSHNLeVovalpIZz09 \nАБСТРАКТ \nПОСТЕР (PDF)
URL:https://math.bas.bg/event/9788/
LOCATION:Кръгла маса: „Практики за отворени и отговорни научни изследвания в академичния жизнен цикъл: възможности за включване на алтметрики в оценяването на научните изследвания“
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210127T110000
DTEND;TZID=Europe/Sofia:20210127T130000
DTSTAMP:20260702T072624
CREATED:20210114T083955Z
LAST-MODIFIED:20210126T092637Z
UID:9820-1611745200-1611752400@math.bas.bg
SUMMARY:Съвместно заседание на Общото събрание на учените и Научния съвет на ИМИ
DESCRIPTION:С Ъ О Б Щ Е Н И Е\nСъгласно т. 4.2 от Правилника за дейността на Института по математика и информатика при Българска академия на науките\, на 27.01.2021 г. (сряда) от 11.00 часа\nонлайн в Zoom сесия\nсе насрочва съвместно заседание на \nОБЩОТО СЪБРАНИЕ НА УЧЕНИТЕ\nИ НАУЧНИЯ СЪВЕТ НА ИМИ\nПРИ СЛЕДНИЯ ДНЕВЕН РЕД: \n1. Награждаване на учени от ИМИ.\n2. Приемане на научноизследователския и финансовия отчет за дейността на ИМИ през 2020 година.\n3. Избор на Председател на ОС-ИМИ.\n4. Разни. \nНа 25.01.2021 г.\, понеделник\, членовете на ОС-ИМИ и НС-ИМИ (задължени да присъстват) и заявилите желание за участие ще получат по имейл покана за ZOOM-сесията. \nНоминации за Председател на ОС-ИМИ\, придружени от CV на номинирания\, могат да се правят до петък 22.01.2021 г. чрез имейл до Галя Стоянова <iks@math.bas.bg>. По същия начин могат да се изпращат и предложения за промяна в дневния ред\, протоколчик и участие в комисия за преброяване. \nПредседател на НС на ИМИ\nчл.-кор. дмн О. Мушкаров \nПредседател на ОС на ИМИ\nпроф. д-р Е. Попова \n  \n 
URL:https://math.bas.bg/event/%d1%81%d1%8a%d0%b2%d0%bc%d0%b5%d1%81%d1%82%d0%bd%d0%be-%d0%b7%d0%b0%d1%81%d0%b5%d0%b4%d0%b0%d0%bd%d0%b8%d0%b5-%d0%bd%d0%b0-%d0%be%d0%b1%d1%89%d0%be%d1%82%d0%be-%d1%81%d1%8a%d0%b1%d1%80%d0%b0%d0%bd/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Събрание
ORGANIZER;CN="%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82%20%D0%BF%D0%BE%20%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%20-%20%D0%91%D0%90%D0%9D":MAILTO:office@math.bas.bg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210127T161500
DTEND;TZID=Europe/Sofia:20210127T180000
DTSTAMP:20260702T072624
CREATED:20210120T150624Z
LAST-MODIFIED:20210120T150821Z
UID:9862-1611764100-1611770400@math.bas.bg
SUMMARY:Национален колоквиум по математика
DESCRIPTION:СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ\nИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН \n\nНАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА \nПоредната сбирка на Колоквиума ще се състои на 27 януари 2021 г. (сряда) от 16:15 часа онлайн в Zoom на адрес https://us02web.zoom.us/j/82089415188?pwd=d1JwU0hvdEtHSldYSHBGZ0FPRVpadz09. \nДоклад на тема: \nМетодология за оценяване на продължителността на епидемията от Ковид-19 в отделна държава\, базирана на новoсъздадените модели ATVBG-SEIR\nще изнесат проф. Огнян Кунчев и ас. Георги Симеонов\, ИМИ – БАН. \nРЕЗЮМЕ \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-%d0%ba%d0%be%d0%bb%d0%be%d0%ba%d0%b2%d0%b8%d1%83%d0%bc-%d0%bf%d0%be-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d0%ba%d0%b0-15/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Редовен семинар
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210128T140000
DTEND;TZID=Europe/Sofia:20210128T160000
DTSTAMP:20260702T072624
CREATED:20210107T214003Z
LAST-MODIFIED:20210108T125103Z
UID:9755-1611842400-1611849600@math.bas.bg
SUMMARY:Защита на дисертация за ОНС „доктор“ на Галина Бобева
DESCRIPTION:Институтът по математика и информатика при БАН и Научното жури за присъждане на образователната и научна степен „доктор“ съобщават\, че на 28 януари 2021 г. от 14:00 ч. онлайн ще се проведе открито заседание на Научното жури за защита на дисертационен труд на тема: \nПриложение на метода на локалната активност за изследване динамиката на нелинейни Клетъчно Невронни Мрежи\nна ГАЛИНА ЖИВКОВА БОБЕВА\n\nОбласт на висше образование 4. Природни науки\, математика и информатика\,\nПрофесионално направление 4.5. „Математика“\,\nДокторска програма „Математическо моделиране и приложение на математиката“ \nНаучен ръководител:\nпроф. дмн Анжела Славова \nПредседател на Научното жури:\nпроф. дмн Валерий Ковачев – рецензент \nЧленове на Научното жури:\nпроф. д-р Маргарита Теодосиева – рецензент\nпроф. дмн Анжела Славова\nпроф. д-р Велизар Павлов\nпроф. д-р Николай Кюркчиев \nМатериалите по защитата са на разположение в библиотеката на ИМИ – БАН и са публикувани на интернет страницата на ИМИ:\nhttp://www.math.bas.bg/IMIdocs/ZRASRB/degrees_phd_current.php \n\nЗащитата ще се проведе в платформата Zoom: \nhttps://us02web.zoom.us/j/84456287599?pwd=WkFoR1hkOVMzL3huQStZZ2RTQ2hHQT09 \nTopic: Защита на дисертация за ОНС “доктор”\nTime: Jan 28\, 2021 14:00 Sofia\nMeeting ID: 844 5628 7599\nPasscode: 106760
URL:https://math.bas.bg/event/%d0%b7%d0%b0%d1%89%d0%b8%d1%82%d0%b0-%d0%bd%d0%b0-%d0%b4%d0%b8%d1%81%d0%b5%d1%80%d1%82%d0%b0%d1%86%d0%b8%d1%8f-%d0%b7%d0%b0-%d0%be%d0%bd%d1%81-%d0%b4%d0%be%d0%ba%d1%82%d0%be%d1%80-5/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
CATEGORIES:Защита
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Sofia:20210129T130000
DTEND;TZID=Europe/Sofia:20210129T140000
DTSTAMP:20260702T072624
CREATED:20210127T065856Z
LAST-MODIFIED:20210127T065856Z
UID:9955-1611925200-1611928800@math.bas.bg
SUMMARY:Семинар "Алгебра и логика"
DESCRIPTION:На 29 януари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. \nДоклад на тема \nReduction Calculus of Type-Theory of Acyclic Algorithms\nще изнесе Русанка Луканова. \nСеминарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: \nhttps://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  \nTopic: Онлайн семинар на секция “Алгебра и логика”\nTime: Jan 29\, 2021 01:00 PM Sofia\nMeeting ID: 851 3737 5021\nPasscode: 035647 \nРезюме. In 1989\, Moschovakis [1] initiated a new theory of the mathematical notion of algorithm\, within untyped\, full recursion. In 2006\, Moschovakis [2] introduced the formal language of Type-Theory of Recursion (TTR)\, which models the notion of algorithm and concepts of meaning in typed semantic structures. The focus of [2] is on Type-Theory of Acyclic Algorithms (TTAR) for computations that end up after a finite number of steps. The approach\, in its varieties\, with full and acyclic recursion\, provides for new developments of type theory of computation and new applications to computational syntax-semantics interfaces in programming and natural languages. \nIn this talk\, I present the formal language (LAR) of TTAR\, by extending it with a restrictor operator that sets conditions on denotations of terms. In addition\, the operator defines restricted memory and parameters. TTAR provides two kinds of semantics of the formal language LAR\, denotational and algorithmic. The reduction system of TTAR is essential for the notion of algorithm and syntax-semantics interfaces. I shall overview the reduction calculus and some of the theoretical results of TTAR. \n[1] Yiannis N Moschovakis. The formal language of recursion. Journal of Symbolic Logic\, 54(04):1216–1252\, 1989. \n[2] Yiannis N. Moschovakis. A Logical Calculus of Meaning and Synonymy. Linguistics and Philosophy\, 29(1):27–89\, 2006. \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-37/
LOCATION:Институт по математика и информатика – БАН\, Block 8\, 1113 БАН IV км.\, София\, Bulgaria
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