Отчетна научна сесия на секция „Алгебра и логика“

18 декември 2020 г.

Програма

9:30 – 9:50 Откриване

9:50 – 10:20 Веселин Дренски: New examples of fundamental algebras (joint project with Luisa Carini, University of Messina, Italy)

10:20 – 10:50 Васил Кънев: Модулярни пространства на Хурвиц параметризиращи покрития с фиксирана монодромна група (Hurwitz modular varieties parametrizing coverings with fixed monodromy group) 

10:50 – 10:55 Пауза

10:55 – 11:20 Иван Чипчаков: Полета с размерност единица, нормални над локално или глобално поле (Fields of dimension one, normal over a global or local field)

11:20 – 11:50 Татяна Гатева-Иванова: Associative algebras and Lie algebras defined by Lyndon words

11:50 – 11:55 Пауза

11:55 – 12:15 Йорг Копиц: The generators of the semigroup of all transformations preserving a crown

12:15 – 12:30 Димитринка Владева (ЛТУ-София): Диференцирания в полупръстени от асиметрични полиноми на Оре (Derivations of skew Ore polynomial semirings)

12:30 – 13:00 Обедна почивка (откъщи)

13:00 – 13:30 Владимир С. Герджиков: Рекурсионни оператори и йерархии от мКдВ уравнения свързани с алгебрите на Кац-Муди D₄⁽¹⁾, D₄⁽²⁾ и D₄⁽³⁾ (Recursion operators and the hierarchies of MKdV equations related to D₄⁽¹⁾,  D₄⁽²⁾  and D₄⁽³⁾ Kac-Moody algebras)

13:30 – 13:50 Елица Христова: Регулярност на алгебри от O(n)-инварианти чрез използване на редове на Хилберт (Regularity of algebras of O(n)-invariants using Hilbert series)

13:50 – 13:55 Пауза

13:55 – 14:25 Веселин Филев: Холографски матричен модел на Брекуз-Дъглас при крайна температура (Holographic Berkooz-Douglas Matrix Model at Finite Temperature)

14:25 – 14:45 Христо Илиев: Семейства от криви върху линейчати повърхнини и приложения за Хилбертовата схема от криви (Families of curves on ruled surfaces and applications to the Hilbert scheme of curves)

14:45 – 14:50 Пауза

14:50 – 15:05 Вилислав Бучакчиев: Използване на макроикономически индикатори при прогнозирнето на нивата на индекса на цените на жилищата (Forecasting of the Bulgarian House price index using some macroeconomic indicators)

15:05 – 15:35 Димитър Добрев: Език за описание на светове (Language for Description of Worlds)

15:35 – 16:00 Следобедно кафе (откъщи)

16:00 – 16:30 Валентин Илиев: Принципът за неопределеност при скрининг тестовете (The Uncertainty Principle for Screening Tests)

16:30 – 16:50 Татяна Иванова: Контактни горни полурешетки (Contact join-semilattices)

16:50 – 16:55 Пауза

16:55 – 17:15 Русанка Луканова: Type-Theory of Parametric Algorithms

17:15 – 17:45 Валентин Горанко: Рационални принципи на координация в чисто координационни игри (Rational coordination in Pure Win-Lose Coordination Games)

17:45 – 18:00 Димитър Гелев: Набори от стратегии и означения за решаването на безкрайни синхронни игри с временно коалиране в темпоралната логика QCTL* (Strategy Profiles and a Vocabulary for Solving Infinite Concurrent Games with Temporary Coalitions in QCTL*)