Приветствие от
вице-президента СО РАН Кулибанова
Приветствие от директора
Института Математики М.М.Лаврентьева
И.А.Лавров, ученый секретарь РАН,
зачитывает приветствие от Президента РАН Ю.С.Осипова
14.30-15.30 Ю.Л.Ершов "275 годовщина РАН"
15.30-16.30 J.Knight "Категоричность"
16.30-17.30 L.Beklemishev "Индукция лдя разрешимых отношений
и вычислений с ограниченными запросами"
Выставка книг издательства "Научная книга"
В.С.Диев около стенда
С.С,Гончаров около стенда