Laboratory of Mathematical Logic at PDMI

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

Докладчик: О. Сергеева.

Тема: О сложности по Колмогорову - "Do stronger definitions of randomness exist?".

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

Докладчик: О. Сергеева.

Тема: О сложности по Колмогорову - "Do stronger definitions of randomness exist?".

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

Докладчик: Е. В. Просолупов.

Тема: Дублирование вершин и функции интервала .

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

Докладчик: С. Федин.

Тема: Алгоритм Р.Вильямса для MAX-CSP, MAX-2-SAT, MAX-CUT,.

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

Докладчик: А. Куликов.

Тема: Explicit Provability and Constructive Semantics.

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

Докладчик: С. И. Николенко.

Тема: Ограниченная арифметика и резолюционные системы доказательств.

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

Докладчик: Ф. Фомин (Берген, Норвегия).

Тема: Exact (exponential) algorithm for treewidth.

Вторник, 30 марта, комната 106. Начало в 13:00.

Докладчик: John OLeary (Intel Corporation).

Тема: 1. Reflective Functional Languages and Theorem Proving. 2. Floating Point Circuit Verification.

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

Докладчик: Ю. Лифшиц.

Тема: Secure Function Evaluation.

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

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

Тема: Линейные верхние оценки времени работы алгоритма локального поиска для случайных 3-SAT с небольшим количеством дизъюнкций.