Laboratory of Mathematical Logic at PDMI

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Докладчик: Данила Черкашин.

Тема: Новый алгоритм в задаче Эрдеша-Хайнала.

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

Докладчик: Dieter van Melkebeek (University of Wisconsin).

Тема: Locality from Circuit Lower Bounds.