Секция по математическа логика,
Институт по математика и информатика, БАН
Годишна отчетна сесия 2010
Програма

Място:	Зала 503 Институт по математика и информатика бул. Акад. Г. Бончев, бл. 8, София
Време:	14 декември, 2010 г., от 10^00 часа

10^00-10^05	Откриване
10^05-14^0^0	Частично отделими множества (Partially Separable Sets)	проф. д.м.н. Димитър Скордев
	Национален регистър на българските географски имена: Раздел Антарктика (National Gazetteer of Bulgarian Geographic Names: Antarctica Section)	ст. н. с. д-р Любомир Иванов
	Председател: ст. н. с. д-р Любомир Иванов
	Рекурсивно породени копродуктивни алгебри (Recursively generated coproductive algebras)	ст. н. с. д-р Йордан Зашев
	Аксиоматизация на една Alternating-time temporal logic с точна памет, разпределено знание, и оператори за миналото (Axiomatization of an ATL with perfect recall, distributed knowledge and past)	ст. н. с. д-р Димитър Гелев
	Опит за конверсия или използване на технологии разработени за ИИ за решаването на обикновени задачи (Conversion or application of methods developed for AI for the decision of other problems)	мат. Димитър Добрев
12^00-12^30	Почивка
	Заключителна дискусия