Mathematical Logic and Discrete Mathematics at PDMI

Пятница, 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.

Пятница, 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).

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