Laboratory of Mathematical Logic at PDMI

Четверг, 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.

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

Докладчик: Калачев В.Н. (Минск).

Тема: К гипотезе Хартсфилда-Рингеля об антимагичности связных графов.

Понедельник, 9 октября, ПОМИ, ауд. 402. Начало в 18:00.

Докладчик: Дмитрий Юрьевич Григорьев (National Center for Scientific Research (CNRS), Institut des Mathématiques de Lille).

Тема: Тропическая комбинаторная теорема о нулях и тестирование малочленов.

Пятница, 6 октября, ПОМИ РАН, ауд. 106. Начало в 18:00.

Докладчик: Юрий Макарычев (Toyota Technological Institute at Chicago).

Тема: Алгоритмы для решения устойчивых задач комбинаторной оптимизации.

Cреда, 12 июля, 203. Начало в 12:00.

Докладчик: Иван Михайлин.

Тема: Non-uniform lower bounds from uniform hardness assumptions.

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

Докладчик: Григорий Ярославцев (Indiana University Bloomington).

Тема: Linear Sketching using Parities.

Пятница, 12 мая, 203. Начало в 18:00.

Докладчик: Alexei Miasnikov (Stevens Institute).

Тема: Hard instances, Dehn monsters, and complexity.