Laboratory of Mathematical Logic at PDMI

Пятница, 22 января, ауд. 106. Начало в 18:00.

Докладчик: Илья Разенштейн (MIT).

Тема: Эквивалентность вложений в L_p и скетчей для норм.

Понедельник, 21 декабря, ауд. 402(?). Начало в 16:00.

Докладчик: Juhani Karhumäki (University of Turku).

Тема: ON COMPLEXITY OF K-ABELIAN CLASSES.

Пятница, 10 июля, ауд. 106. Начало в 13:00.

Докладчик: Mika Hirvensalo (University of Turku).

Тема: On the computational complexity of small-dimensional integer matrix problems.

Понедельник, 10 ноября, ауд. 106. Начало в 18:00.

Докладчик: В.А. Буслов (СПбГУ).

Тема: Экстремальные леса и иерархическая структура взвешенного орграфа.

Понедельник, 20 октября, ауд. 106. Начало в 18:00.

Докладчик: Mika Hirvensalo (University of Turku).

Тема: Skolem's Problem - A Challenge for Decidability.

Пятница, 19 сентября, ауд. 203. Начало в 17:00.

Докладчик: А.М. Шур (Уральский федеральный университет).

Тема: Генератор бесквадратных слов.

Пятница, 12 сентября, ауд. 203. Начало в 17:00.

Докладчик: Jarkko Kari (University of Turku).

Тема: Universal Pattern Generation by Cellular Automata.

Понедельник, 7 июля, ауд. 106. Начало в 14:00.

Докладчик: В.А. Буслов (СПбГУ, физический факультет).

Тема: Характеристический многочлен лапласиана и матрицы смежности взвешенного орграфа в терминах остовных лесов.

Понедельник, 23 июня, ауд. 106. Начало в 14:00.

Докладчик: Ville Salo (University of Turku).

Тема: Defining subshifts with multiheaded finite state automata on finitely generated groups.

Пятница, 13 июня, ауд. 203. Начало в 12:00.

Докладчик: Volker Diekert (University of Stuttgart , Germany).

Тема: Conjugacy in Baumslag's group, generic case complexity, and division in power circuits.