|
Программа конференции
Расписание пленарных докладов и других мероприятий конференции можно посмотреть здесь.
На конференции будет организована работа секций
- алгебро-логических методов в информационных технологиях (предварительная программа),
- неклассических логик (предварительная программа),
- теории вычислимости (предварительная программа),
- теории групп:
- подсекция 1 (предварительная программа),
- подсекция 2 (предварительная программа),
- теории колец (предварительная программа),
- теории моделей и универсальной алгебры (предварительная программа).
С пленарными докладами выступят
- К. Амбос-Шпис (Гейдельберг, Германия): Strongly bounded Turing reducibilities,
- М. М. Арсланов (Казань, Россия): Applications of the Ershov difference hierarchy in the computable algebra and the complexity theory (аннотация),
- С. А. Бадаев (Алматы, Казахстан): Computable numberings in the Ershov hierarchy,
- Л. Д. Беклемишев (Москва, Россия): Provability algebras and scattered topology (аннотация),
- У. Бергер (Суонси, Великобритания): Realisability for coinduction with applications in computable analysis (аннотация),
- А. В. Васильев (Новосибирск, Россия): Характеризация конечных простых групп их арифметическими свойствами (аннотация),
- Е. П. Вдовин (Новосибирск, Россия): О пересечении сопряженных подгрупп конечного индекса (аннотация),
- С. С. Гончаров (Новосибирск, Россия): Сильно конструктивные модели и нумерации,
- Н. Гринберг (Веллингтон, Новая Зеландия): Effective properties of uncountable linear orderings (аннотация),
- К. Каймель (Дармштадт, Германия): Scott--Ershov domains in topology and analysis,
- И. Ш. Калимуллин (Казань, Россия): Degree spectra of algebraic structures,
- С. Кулман (Констанц, Германия): Valued differential fields of exponential logarithmic series (аннотация),
- Б. Купер (Лидс, Великобритания): Aspects of the Ershov hierarchy (аннотация),
- А. Макинтайр (Лондон, Великобритания): Algebraic numbers definable in Zilber's exponential field,
- А. В. Манцивода (Иркутск, Россия): Mediating between logic and object models,
- А. В. Михалев (Москва, Россия): Ортогональная полнота в теории колец: история и современное состояние,
- А. Монталбан (Чикаго, США): Counting the back-and-forth types (аннотация),
- А. Мясников (Монреаль, Канада): Zero-one laws, generic elementary theories, and random objects,
- В. Г. Пузаренко (Новосибирск, Россия): Natural numbers and the generalized computability,
- Т. Сламан (Беркли, США): Effective randomness and continuous measures,
- А. Сорби (Сиена, Италия): The Medvedev lattice and intermediate propositional logics,
- М. Соскова (София, Болгария): Definability and interpretability in the Sigma-0-2 enumeration degrees,
- А. И. Стукачев (Новосибирск, Россия): Полурешетки Сигма-степеней алгебраических систем,
- И. Д. Супруненко (Минск, Беларусь): Modular representations of the classical algebraic groups: restrictions to subsystem subgroups and properties of individual elements (аннотация),
- С. Д. Фридман (Вена, Австрия): Equivalence relations in set theory, computation theory and complexity theory (аннотация),
- А. Н. Хисамиев (Новосибирск, Россия): Универсальные функции над локально конечными алгебраическими системами (аннотация),
- Б. Чима (Ватерлоо, Канада): The complexity of the upper and lower central series of computable nilpotent groups (аннотация),
- Ф. Штефан (Сингапур, Сингапур): Automatic structures and model theory (аннотация).
Последнее изменение: 29 апреля 2010