Пятница, 21 января, Zoom. Начало в 13:00.
Докладчик: Д. М. Ицыксон (ПОМИ РАН).
Тема: Нижние оценки и вопросы оптимальности для систем доказательств.
Пятница, 26 ноября, PDMI & Zoom (hybrid format). Начало в 12:00.
Докладчик: Kirill Simonov (University of Bergen).
Тема: Fine-grained complexity of graph homomorphism for bounded cliquewidth.
Пятница, 12 ноября, Zoom. Начало в 11:00.
Докладчик: Людмила Циовкина (ИММ УрО РАН).
Тема: Накрытия полных графов и связанные с ними схемы отношений.