Международная конференция
Логика и приложения

Программа конференции

9.30 Открытие конференции
9.30--10.30 Ю. Л. Ершов. Об удивительных расширениях поля рациональных чисел
10.30--10.45 Перерыв
10.45--13.00 Поздравления
13.00--14.00 Обед
14.00--14.45 A. Macintyre. Model theory of Frobenius on Witt vectors. A variation on Ax--Kochen--Ershov
14.45--15.30 С. С. Гончаров. Конструктивные модели и вычислимые нумерации
15.30--15.45 Перерыв
15.45--16.25 В. Н. Ремесленников. Алгебраическая геометрия над группами: логические основания теории
16.25--17.05 В. В. Целищев. Lowenheim-Skolem theorem and rationality in mathematics
18.00 Банкет

9.00--9.50 S. B. Cooper. On the intensionality of Turing definitions
9.55--10.45 U. Berger. Minimisation vs. recursion in higher types
11.00--11.50 K. Ambos-Spies. Resourse-bounded randomness and computational complexity
11.55--12.45 В. Н. Латышев. Общая версия стандартного базиса
12.45--14.00 Обед
14.00--14.50 С. Н. Васильев, А. К. Жерлов. Исчисления формул с типовыми кванторами: стратегии и модификаторы
14.55--15.45 В. А. Васенин. Информационные технологии в науке и образовании
16.00--16.50 A. Miasnikov. On elementary theory of free groups
17.00--18.00 Работа секций

9.00--9.50 K. Weihrauch. Computable analysis
9.55--10.45 А. Ю. Ольшанский, М. В. Сапир. О новых конструкциях конечно определенных групп
11.00--11.50 A. Voronkov. Herbrand's theorem and automated reasoning
11.55--12.45 D. Hirschfeldt. Structure and nonstructure in computable model theory
12.45--14.00 Обед
14.00--14.50 E. Khukhro. Rank analogs of some theorems on groups
14.55--15.45 M. Volkov. Algorithmic problems for finite semigroups and finite automata
16.00--18.00 Работа секций
18.00 Закрытие конференции