Mathematical Logic and Discrete Mathematics at PDMI

Пятница, 18 сентября, комната 106. Начало в 17:00.

Докладчик: Н. Гравин.

Тема: Экономные механизмы для аукционов на покупку $k$ путей в графе.

Понедельник, 8 июня, комната 106. Начало в 11:00.

Докладчики: Sofya Raskhodnikova (Penn State University), Adam Smith (Penn State University).

Будет проведено 2 доклада:

Sofya Raskhodnikova (Penn State University) Transitive-closure Spanners

Adam Smith (Penn State University) What Can We Learn Privately?

Title: Transitive-closure Spanners.

Abstract

We define the notion of a transitive-closure spanner of a directed graph. A transitive-closure spanner of a given directed graph is a graph of small diameter that preserves connectivity of the original graph.

Пятница, 22 мая, комната 106. Начало в 16:50.

Докладчик: Д. Ицыксон.

Тема: Обращение функции Голдрейха алгоритмами, основанными на расщеплении.

Пятница, 15 мая, комната 106. Начало в 17:00.

Докладчик: Н. Гравин.

Тема: Линейные алгоритмы для задачи списковой $d$-раскраски и задачи докрашивания частичной $\Delta$-раскраски.

Пятница, 24 апреля, комната 106. Начало в 17:00.

Докладчик: А. Смаль.

Тема: Миникурс: 'Логические основы теории сложности доказательств'. Лекция 3, заключительная.

Пятница, 17 апреля, комната 106. Начало в 17:00.

Докладчик: И. Миронов (Microsoft Research).

Тема: Differential Privacy.

Пятница, 27 марта, комната 106. Начало в 18:00.

Докладчик: А. Смаль.

Тема: Мини-курс: 'Логические основы теории сложности доказательств'. Лекция 2.

Пятница, 20 марта, комната 106. Начало в 18:00.

Докладчик: А. Смаль.

Тема: Мини-курс: 'Логические основы теории сложности доказательств'. Лекция 1.

Пятница, 27 февраля, комната 106. Начало в 18:00.

Докладчик: Н. К. Верещагин (МГУ).

Тема: Генерация строк высокой шенноновской энтропии.

Пятница, 13 февраля, комната 106. Начало в 18:00.

Докладчик: П. Затицкий.

Тема: О вложении конечных метрических пространств в $l_\infty^n$.