Latest seminars

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

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

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

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

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

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

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

Тема: k-Abelian Complexity: A New Complexity Measure for In nite Words.

Пятница 21 марта, 17-00, ауд. 203

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

Докладчик: Максим Баклановский (СПбГУ).

Тема: RSA на JavaScript: особенности вычислителей (исполняющих систем), подбор алгоритмов, сравнение подходов.

Пятница 21 февраля, 17-00, ауд. 203

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

Докладчик: Н.А. Перязев (Иркутск).

Тема: Клоны и суперклоны.

Пятница 17-ое января, 17-00, 203 ауд.

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

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

Тема: О количестве точек перегиба плоской кривой.

Пятница 17-ое января, 14-30, 203 ауд.

Пятница, 17 января, ауд. 203. Начало в 14:30.

Докладчик: Д.В. Карпов.

Тема: Минимальные $ k $-связные графы с минимальным числом вершин степени $ k $.

Пятница 27 ноября, 17-00, ауд. 203

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

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Инфинитарные суперинтуиционистские логики и их приложения к программированию.

Пятница, 6 декабря. "Succinct Interactive Proofs for Quantified Boolean Formulas"

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

Докладчик: Александр Смаль.

Тема: Succinct Interactive Proofs for Quantified Boolean Formulas.

Пятница 29 ноября, 17-00, ауд. 203

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

Докладчик: Никита Калинин (Geneva University).

Тема: Комбинаторика, связанная с особыми точками кривых.

Пятница 15 ноября, 15-15, ауд. 203

Пятница, 15 ноября, ауд. 203. Начало в 15:15.

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

Тема: Минимальные двусвязные графы.