Mathematical Logic and Discrete Mathematics at PDMI

Пятница, 19 апреля, ауд. 106. Начало в 16:30.

Докладчик: Виктор Лопаткин.

Тема: Двудольные графы как полиномы и полиномы как двудольные графы.

Понедельник, 10 декабря, 106. Начало в 14:30.

Докладчик: А.Х. Шень (LIRMM, ИППИ РАН).

Тема: Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме.

Пятница, 9 ноября, 106. Начало в 14:00.

Докладчик: В.В. Подольский (ВШЭ).

Тема: Нижние оценки в модели разрешающих деревьев с XOR-запросами.

Пятница, 2 ноября, ауд. 106. Начало в 14:00.

Докладчик: Jarkko Peltomäki (University of Turku).

Тема: On Numeration Systems and Automatic Sequences.

Пятница, 26 октября, ауд. 106. Начало в 14:00.

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

Тема: Decidable and undecidable problems related to Measure-Once Quantum Automata with rational and irrational coefficients.

Cреда, 24 октября, ауд. 203. Начало в 14:00.

Докладчик: Jarkko Kari (University of Turku).

Тема: Periodicity in Algebraic Subshifts.

Четверг, 6 сентября, ауд. 106. Начало в 11:30.

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

Тема: Стабильные модели формул исчисления высказываний.

Понедельник, 20 августа, ауд. 106. Начало в 14:00.

Докладчик: В.Е. Корепин (Stony Brook University).

Тема: Квантовый алгоритм поиска.

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

Докладчик: Zhi-Wei Sun (Nanjing University).

Тема: Problems and Results on Sums of Squares.

Пятница, 10 ноября, 402. Начало в 12:00.

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

Тема: Prediction from Partial Information and Hindsight, with Application to Circuit Lower Bounds.