Семинар
В рамките на проекта Математическа логика и компютърна лингвистика: развитие и взаимно проникване докторантите, пост-докторантите, специализантите и младите учени ще имат възможност да докладват своите научни постижения. Целта е постигнатите резултати на изследователите да бъдат дискутирани на експертно равнище и да им бъдат дадени оценка и препоръки за бъдеща работа.
Предстоящи семинари:
Проведени семинари:
- 02.06.2011 г., 17:15-19:00 ч.
Семинар по некласически логики
Място: Зала 501, ФМИ
Тема: Условието за краен брой достъпни светове в разширения на К без свойството на крайните модели
Лектор: ст. н.с. II ст. д-р Димитър Гелев, ИМИ, БАН - 26.05.2011 г., 17:15-19:00 ч.
Семинар по некласически логики
Място: Зала 501, ФМИ
Тема: Методи за извличане на функционални програми от конструктивни и неконструктивни доказателства
Лектор: ас. Трифон Трифонов, ФМИ - 12. и 19.05.2011 г., 14:15-16:00 ч.
Семинар по Математическа логика
Място: Зала 01, ФМИ
Тема: Обобщение на алгоритъма на Myers за произволни регулярни множества.
Ефективно приближено търсене на дума в регулярен език.
Лектор: Стефан Герджиков - 05.05.2011 г.,
17:15-19:00 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Безкванторни логики за пространството с добавъчни правила, реферативен доклад
Лектор: Николай Иванов - 07.03.2011 г., 17:00 ч.
Специализиран семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Лингвистично мотивирано автоматично съотнасяне на паралелни текстове, 2-ра част
Лектор: Ангел Генов и Георги Илиев - 07.03.2011 г., 15:00 ч.
Специализиран семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Лингвистично мотивирано автоматично съотнасяне на паралелни текстове, 1-ва част
Лектор: Ангел Генов и Георги Илиев - 24.01.2011 г., 17:00 ч.
Специализиран семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Семантико-синтактични особености и аргументна структура на някои преходни и непреходни глаголи за движение в Българския ФреймНет, 2-ра част
Лектор: д-р Росица Декова и д-р Петя Несторова - 24.01.2011 г., 15:00 ч.
Специализиран семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Семантико-синтактични особености и аргументна структура на някои преходни и непреходни глаголи за движение в Българския ФреймНет, 1-ва част (pdf)
Лектор: д-р Росица Декова и д-р Петя Несторова
- 09.12.2010 г.,
17:15 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Неразрешимост на теорията от първи ред на клас от структури на Крипке за динамични мереологични релации
Лектор: Владислав Ненчев - 02.12.2010 г.,
17:15 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Модални логики за стабилни и нестабилни модалности
Лектор: проф. дмн Димитър Вакарелов - 28.10.2010 г.,
16:15-19:00 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: An introduction to formal concept analysis
Лектор: проф. Филип Балбиани (Philippe Balbiani), CNRS, IRIT, Франция - 21. и 28.10.2010 г., 14:15 ч.
Семинар по математическа логика
Място: Семинар 209Б, ФМИ
Тема: Ефективно търсене в речник на близки до дадена дума
Лектор: докторант Стефан Герджиков - 14.10.2010 г.,
17:15-20:00 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Аксиоматизация на ATL с непълна информация, точна памет, оператор за разпределено знание, равномерни стратегии и темпорални оператори за миналото
Лектор: ст.н.с. д-р Димитър Гелев - 07.10.2010 г.,
17:15-20:00 ч.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Symbolic Model Checking, реферативен доклад
Лектор: Николай Иванов - 16.09.2010 г.,
17:15 ч.
Семинар по математическа логика
Място: Аудитория 229, ФМИ
Тема: On how to write Journal Papers
Лектор: проф. Клаус Шулц (Klaus U. Schulz), Ludwig Maximilians University of Munich - 22.08.2010 г.,
17:00 ч.
Семинар по компютърна лингвистика
Място: Малък салон, ИБЕ
Тема: European Summer School in Logic, Language and Information (ESSLLI 2010), Копенхаген 9-20 август 2010
- 05. и 06.07.2010 г.,
11:00 ч.
Семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Когнитивните изследвания върху времето и аспекта в българския и полския езици
Лектор: проф. Виолета Косеска, ПАН, Варшава - 24.06.2010 г., 16:15 ч.
Семинар по математическа логика
Място: Заседателна зала, ФМИ
Тема: Oracle construction in enumeration degrees
Лектор: проф. Чарлз Харис (Charles Milton Harris) - 16.06.2010 г., 15:00 ч.
Семинар по компютърна лингвистика
Място: Малък салон, ИБЕ
Тема: Адмиративът в българския и албанския език (pdf)
Лектор: д-р Екатерина Търпоманова - 13.05.2010 г., 11:00 ч.
Семинар по компютърна лингвистика
Място: Голям салон, ИБЕ
Тема: Префиксация и резултативност (pdf)
Лектор: Светлозара Лесева - 29.04.2010 г.,
17:15 ч.
Семинар по некласически логики
Място: Зала 478, Институт по математика, БАН
Тема: Decidability results for the model checking problem for Alternating Temporal Logics with Knowledge
Лектор: проф. Каталин Дима (Catalin Dima), LACL, University of Paris XII - 31.03.2010 г., 16:15 ч.
Семинар по математическа логика
Място: Семинар 501, ФМИ
Тема: Independence in Pairs of Structures
Лектор: д-р Гарет Боксал, University of Leeds
- 29.03.2010 г., 15:00 ч.
Семинар по компютърна лингвистика
Място: Голям салон, Института за български език, БАН
Тема: Старобългарската именна фраза: към анотационна спецификация
Лектор: д-р Цветана Димитрова - 27.03.2010 г., 16:15 ч.
Семинар по математическа логика
Място: Заседателна зала, ФМИ
Тема: The perfect tree theorem
Лектор: проф. Анди Луис, University of Leeds - 18.03.2010 г.,
16:15 ч.
Семинар по некласически логики
Място: Семинар 311, ФМИ
Тема: Контактни алгебри със стабилни и нестабилни релации (продължение)
Лектор: проф. дмн Димитър Вакарелов - 11.03.2010 г.,
16:15 ч.
Семинар по некласически логики
Място: Семинар 311, ФМИ
Тема: Контактни алгебри със стабилни и нестабилни релации
Лектор: проф. дмн Димитър Вакарелов
- 19.11.2009 г., 14:15 ч.
Семинар по математическа логика
Място: Заседателна зала, ФМИ
Тема: Admissible Inference Rules and Unifiability in Modal Logic
Лектор: проф. Чийдам Генсер (Cigdem Gencer), KU Istanbul - 29.10.2009 г.
Семинар по некласически логики
Място: Семинар 501, ФМИ
Тема: Time representation and temporal reasoning from the perspective of non-standard analysis
Лектор: проф. Филип Балбиани (Philippe Balbiani), CNRS, IRIT, Франция - 15.10.2009 г., 14:00 ч.
Семинар по компютърна лингвистика
Място: Малък салон, Институт за български език, БАН
Тема: Going Beyond Word-form Factored Statistical Machine Translation
Лектор: проф. Дан Туфиш (Dan Tufiş), Romanian Academy
