Выступление на Школе приравнивается к докладу на семинаре "Алгебра и логика", то есть участники конференции могут подавать статьи, связанные с их докладами, для публикации в журнале "Алгебра и логика".

Дни работы школы - 24, 25 и 26 сентября 2001 года. Дни приезда участников - 22 и 23 сентября, день отъезда - 27 сентября.

Перед началом конференции состоится регистрация участников:
23 сентября (воскресенье) с 15 до 19 часов в холле гостиницы "Золотая долина", и
24 сентября (понедельник) с 9 до 12 часов в предконференцзале Института математики.

Регистрационный взнос составляет 100 рублей (эта сумма не включает в себя оплату гостиницы и питание).
 

Примерная программа:

Понедельник, 24 сентября.

Председатель Ю.Л. Ершов.
9.30   Открытие конференции.
9.30 - 10.20     Гончаров С.С. (Новосибирск) "Инварианты в конструктивных моделях"
10.30 - 11.00   Поздравление С.С. Гончарова
11.10 - 12.00   Бадаев С.А. (Алматы) "Глобальные и локальные свойства полурешеток Роджерса арифметических нумераций"
12.10 - 13.00   Хусаинов Б. (Окленд, Новая Зеландия) "Некоторые проблемы Гончарова в теории конструктивных моделей"

Обед

Председатель С.С. Гончаров.
15.00 - 15.50   Ершов Ю.Л. (Новосибирск) "Хорошие локально-глобальные поля"
16.00 - 16.50   Арсланов М.М. (Казань) "Критерии полноты для табличных сводимостей и колмогоровская сложность вычислений"
17.00 - 17.25   Морозов А.С. (Новосибирск) "Некоторые примеры Сигма-подмножеств натуральных чисел"
17.30 - 17.55   Алаев П.Е. (Новосибирск) "Вычислимость семейств суператомных булевых алгебр"

Вторник, 25 сентября.

Председатель Б. Хусаинов.
10.00 - 10.50   Найт Дж. (Нотр-Дам, США) "Sequences of n-diagrams"
11.00 - 11.50   Касымов Н.Х. (Ташкент) "Об универсальной определимости позитивных моделей"
12.00 - 12.50   Сорби А. (Сиена, Италия) "Complete numberings and completions"

Обед

Председатель М.М. Арсланов
15.00 - 15.50   Ремесленников В.Н. (Омск) "Сложность алгоритмов комбинаторной теории групп"
16.00 - 16.50   Коровина М.В. (Дания), Кудинов О.В. (Новосибирск) "Вещественнозначная вычислимость"
17.00 - 17.25   Косовский Н.К. (Санкт-Петербург) "Две логики для персонального компьютера"
17.30 - 17.55   Латкин И.В., Латкина Л.П. (Усть-Каменогорск) "Теоретико-категорные свойства нумерованных алгебр"
18.00 - 18.25   Ашаев И.В., Мавликасова Г.Ч. (Омск) "Об одном варианте Сигма-определимости алгебраических систем"
18.30 - 18.45   Жерлов А.К. (Иркутск) "Обратный вывод для некоторого класса позитивно образованных формул"
18.45 - 19.00   Корольков Ю.Д. (Иркутск) "Вычислимые семейства общерекурсивных функций"

Среда, 26 сентября.

Председатель И.А. Лавров.
10.00 - 10.50   Нис А. (Чикаго, США) "Lowness properties of sets and randomness"
11.00 - 11.50   Селиванов В.Л. (Новосибирск) "Позитивные модели"
12.00 - 12.50   Подзоров С.Ю. (Новосибирск) "Строение полурешеток Роджерса арифметических нумераций"

Обед

Председатель В.Д. Дзгоев.
15.00 - 15.25   Солон Б.Я. (Иваново) "Нетотальные степени перечислимости"
15.30 - 15.55   Рыбина Т. (Манчестер, Англия) "Verification of Infinite-State Systems"
16.00 - 16.25   Добрица В.П. (Алматы) "Индексные множества в обобщенных нумерациях"
16.30 - 16.55   Калимуллин И.Ш. (Казань) "Слабые представления частичных порядков"
17.00 - 17.25   Когабаев Н.Т. (Новосибирск) "Конструктивные булевы алгебры с выделенными идеалами"
17.30 - 17.55   Хисамиев А.Н. (Новосибирск) "О верхней полурешетке Сигма-степеней"
18.00 - 18.15   Ганов В.А. (Барнаул) "Обобщенно-конструктивное моделирование математических теорий"
18.15 - 18.30   Гайлит Е.В. (Новосибирск) "Моделирование пульсирующего процесса"
18.35 - 18.50   Садовой Г.C. (Новосибирск) "Вычислимые автоморфизмы полей Галуа"
18.50 - 19.05   Приходовский М.А. (Томск) "T-кольца и T(R)-модули"

19.10   Закрытие Школы