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

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

14^00-14^05	Откриване
14^05-14^25	Българско картографиране и описание на Антарктически географски обекти през 2008 г. (Bulgarian Mapping and Description of Antarctic Geographical Features in 2008)	ст. н. с. д-р Любомир Иванов
	Председател: ст. н. с. д-р Любомир Иванов
14^25-14^45	Рекурсивна линейна алгебра и теорията на сложността (Recursive Linear Algebra and Complexity Theory)	ст. н. с. д-р Йордан Зашев
14^45-15^05	Нормална форма, аксиоматизация и непълнота на FLC (Normal Form, Axiomatisation and Incompleteness of the Fixed Point Logic with Chop)	ст. н. с. д-р Димитър Гелев
15^05-15^25	Дефиницията на ИИ в термините на мулти агентните системи (The Definition of AI in Terms of Multi Agent Systems)	мат. Димитър Добрев
15^25-15^55	Логики за контакт между региони (Logics for Contacts between Regions)	доц. д-р Тинко Тинчев, ФМИ
	Заключителна дискусия