Latest seminars

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

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

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

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

Семантические таблицы с метапеременными для логики нечётких неравенств

Понедельник, 22 сентября, комната 203. Начало в 14:00.

Докладчик: А.С. Герасимов (СПбУ).

Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.

Пятница 19 сентября, 17-00, ауд. 203

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

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

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

Пятница 12 сентября, 17-00, ауд. 203

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

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

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

Понедельник 7 июля, 14-00, ауд. 106

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

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

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

Понедельник 23 июня, 14-00, ауд. 106

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

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

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

Пятница 13 июня, 12-00, ауд. 203

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

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

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

Понедельник 2 июня, 14-30, 106 ауд.

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

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

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

Пятница 30 мая, 15-00, ауд. 203

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

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

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

Пятница 23 мая, 15-00, ауд. 203

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

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

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