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

Място:

 

Зала 503 в сградата на ИМИ

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

Време:

 

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

1400-1405

 

Откриване

 

 

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

1405-1435

 

Топология и патология на комбинаторните алгебри (Topology and Pathology of Combinatory Algebras)

 

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

1435-1505

 

Некласически операции, скрити в класическата логика (Non-classical Operations Hidden in Classical Logic)

 

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

1505-1535

 

ATL с епистемичен оператор за миналото и равномерни стратегии спрямо разпределеното знание (Alternating Time Temporal Logic with Knowledge of the Past and Uniform Strategies wrt Distributed Knowledge)

 

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

1535-1605

 

Втори опит за формализация на играта Морски шах (Second attempt for formalisation of Tick-Tack-Toe game)

 

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

1605-1625

 

пауза

 

 

 

 

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

 

 

1625-1655

 

Оптимални подредби на буквите върху клавиатурата на мобилен телефон (Optimal Keyboard Layouts for Mobile Phones)

 

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

 1655-1725

 

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