Laboratory of Mathematical Logic at PDMI

Понедельник, 9 ноября, комната 203. Начало в 14:00.

Докладчик: С. Н. Васильев (Москва, ИПУ РАН).

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

Понедельник, 19 октября, комната 203. Начало в 12:00.

Докладчик: Владимир Подольский (Москва).

Тема: Оценки коэффициентов целочисленных многочленов с заданной знаковой булевой функцией.

Понедельник, 12 октября, комната 203. Начало в 12:00.

Докладчик: Александр Охотин (университет Турку, Финляндия).

Тема: Уравнения над множествами целых чисел.

Понедельник, 15 июня, комната 203. Начало в 14:00.

Докладчик: Григорий Минц (Стенфорд).

Тема: Логические уравнения в одноместном иcчислении предикатов.

Понедельник, 22 декабря, комната 203. Начало в 15:00.

Докладчик: Борис Карлов (Тверь).

Тема: Свойства обобщенных категориальных грамматик зависимостей.

Понедельник, 15 декабря, комната 203. Начало в 14:00.

Докладчик: Григорий Минц (Стенфорд).

Тема: New Trends in the Foundations of Mathematics.