|
|
|
11:30-12:10 |
|
Валентин Горанко,
DTU,
Копенхаген
Общ формализъм за моделиране на многоагентни системи, базиран на
системни променливи |
12:10-12:35 |
|
Тинко Тинчев,
Софийски
университет
Логики за региони: определимост и пълнота |
|
|
|
13:30-14:25 |
|
Даниела Николова-Попова
Life chalenges of a female group theorist |
14:25-14:50 |
|
Любомир Иванов
Топонимични проучвания и приложения в Южните Шетланди, Земя
Греъм и планината Елсуърт |
14:50-15:25 |
|
Йордан Зашев
Теореми за пълнота и консервативност на рекурсивните смятания
над свободната копродуктивна алгебра |
|
|
|
15:35-16:00 |
|
Димитър Гелев
Композиционален извод в стил на Хоар за хибридното разширение на
CSP |
16:00-16:25 |
|
Димитър Добрев
Дефиницията на
AI
– 12 години по-късно |
16:25-16:50 |
|
Румен Данговски, Веселин Дренски,
Şehmus
Fındık
Диференцирания на Вайценбьок на свободни метабелеви алгебри на
Ли |
16:50-17:15 |
|
Татяна Гатева-Иванова
Мономиални алгебри, определени от думи на Линдън |
|
|
|
17:25-17:50 |
|
Иван Трендафилов, Технически университет, София
Полупръстени с нула от
ендоморфизми на крайна полурешетка от специален вид |
17:50-18:15 |
|
Иван Чипчаков
p-Размерност
на Брауер на хензелеви полета с локални, глобални или
алгебрически затворени полета от остатъци |