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

Място:

 

Mултимедийната зала на ИМИ

Институт по математика и информатика
бул. Акад. Г. Бончев, бл. 8, София

Време:

 

22 декември, 2005 г., от 1400 часа

 

1400-1405

 

Откриване

 

 

1405-1425

Българско картографиране и описание на Антарктически географски обекти през 2005 г. (Bulgarian Mapping and Description of Antarctic Geographical Features in 2005)

ст. н. с. д-р Любомир Иванов

 

 

Председател: ст. н. с. д-р Любомир Иванов

 

 

1425-1445

 

Някои актуални въпроси на алгебричната теория на рекурсията (Some Current Topics in Algebraic Recursion Theory)

 

ст. н. с. д-р Йордан Зашев

1445-1505

 

Едно отношение на сводимост между итеративни комбинаторни пространства (A Notion of Reducibility between Iterative Combinatory Spaces)

 

проф. д.м.н. Димитър Скордев, Софийски университет

1505-1515

 

освежаващи напитки и бисквити

 

 

1515-1545

 

Синтезиране на ограничени модификации посредством игри (Synthesising Features by Games, joint work with Mark Ryan and Pierre Yves Schobbens)

 

н. с. д-р Димитър Гелев

1545-1630

 

Формална дефиниция на изкуствен интелект (Formal Definition of Artificial Intelligence)

 

мат. Димитър Добрев

1630-1700

 

освежаващи напитки и бисквити

 

 

 

 

 

Председател: ст. н. с. д-р Владимир Сотиров

 

 

1700-1730

 

Разрешимост и сложност на няколко задачи за определимост (Decidability and Complexity of Several Definability Problems)

 

доц. д-р Тинко Тинчев, Софийски университет

1730-1800

 

Равномерна сводимост (Uniform Reducibility)

 

проф. д.м.н. Иван Сосков, Софийски университет

1800-1820

 

Релативизирани спектри на структури (Relativized Degree Spectra of Structures)

 

доц. д-р Александра Соскова, Софийски университет 

1820-1900

 

Заключителна дискусия