Laboratory of Mathematical Logic at PDMI

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

Докладчик: К. Шмаков.

Тема: "Вполне натуральные" доказательства.

Четверг, 18 сентября, комната 311. Начало в 14:00.

Докладчик: А. Шень (Москва/Марсель).

Тема: Апериодические замощения и теорема о неподвижной точке.

Вторник, 9 сентября, комната 106. Начало в 15:00.

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

Тема: Системы доказательств с подсказками.

Пятница, 23 мая, комната 106. Начало в 18:30.

Докладчик: В. Васильев (СПбГУ, мат-мех, 5 курс).

Тема: О (2,3)-порождении группы Sp(8,Z).

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

Докладчик: А. Кожевников.

Тема: Нижние экспоненциальные оценки для модальных логик.

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

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

Тема: Полная задача в классе HeurBPP - продолжение.

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

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

Тема: Полная задача в классе HeurBPP.

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

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

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

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

Докладчик: А. Кожевников.

Тема: Multiparty Communication Complexity of Disjointness.

Пятница, 8 февраля, комната 106. Начало в 16:45.

Докладчик: Э. Гирш.

Тема: Feebly trapdoor functions.