Laboratory of Mathematical Logic at PDMI

Понедельник, 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.

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

Докладчик: Светлана Образцова.

Тема: Теоретико-игровые модели для голосования по правилу approval.

Пятница, 30 мая, ауд. 203. Начало в 15:00.

Докладчик: Глеб Ненашев (СПбГУ).

Тема: Об проблеме Хивуда для карт с касаниями.

Пятница, 23 мая, ауд. 203. Начало в 15:00.

Докладчик: А.В. Пастор (ПОМИ РАН).

Тема: О вершинах степени 6 в -критических минимальных 6-связных графах.

Пятница, 16 мая, ауд. 203. Начало в 15:00.

Докладчик: Д.В. Карпов (ПОМИ РАН).

Тема: Дерево разрезов и минимальный k-связный граф..