Laboratory of Mathematical Logic at PDMI

Пятница, 20 апреля, ауд. 106. Начало в 18:00.

Докладчик: Глеб Ненашев (СПбГУ).

Тема: О хроматическом числе почти планарного графа.

Пятница, 13 апреля, ауд. 106. Начало в 18:00.

Докладчик: Кирилл Савенков (СПбГУ).

Тема: Оценка количества рёбер в 3-плоском графе.

Пятница, 6 апреля, ауд. 106. Начало в 18:00.

Докладчик: Глеб Ненашев (СПбГУ).

Тема: Существование некритические вершин в ориентированных графах.

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

Докладчик: Andre Scedrov (University of Pennsylvania, USA).

Тема: Collaborative Systems.

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

Докладчик: А. Н. Воропаев (Петрозаводский государственный университет).

Тема: Явные формулы для подсчёта циклов фиксированной длины в неориентированных графах.

Пятница, 16 марта, Мраморный зал ПОМИ. Начало в 09:45.

Докладчик: А.В. Пастор, Д.В. Карпов, М.А. Всемирнов, А.С. Куликов, С.А.Образцова, А.В. Смаль, Ю.В. Матиясевич.

Тема: Семинар, посвященный дню рождения Ю.В. Матиясевича.

Пятница, 17 февраля, ауд. 106. Начало в 18:00.

Докладчик: Даниил Мусатов (МГУ).

Тема: Наивная дерандомизация для колмогоровской сложности с ограничением на память.

Пятница, 10 февраля, ауд. 106. Начало в 18:00.

Докладчик: А.М. Караваев (Петрозаводский государственный университет).

Тема: Подсчет гамильтоновых циклов на прямоугольных решетках, цилиндрах и торах методом матрицы переноса.

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

Докладчик: Светлана Образцова.

Тема: Алгоритмы для нахождения k-robust разрезов.

Пятница, 23 декабря, ауд. 402. Начало в 16:00.

Докладчик: Николай Гравин.

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