— Какие мероприятия в рамках конференции вы посетили? Можете ли отметить самые яркие доклады?
— Сначала я был на лекциях в Сиднейском университете в рамках
Celebration of TCS: они пригласили несколько молодых и перспективных ученых, которые поделились своими последними результатами. После началась уже сама конференция FOCS. На ней я только ходил на доклады и не посещал сторонние мероприятия.
Я как, наверное, любой человек, оказавшийся впервые на конференции (да еще и по тревел-гранту!) считал своим долгом посетить как можно больше докладов. Но запомнилась мне только часть из них. Во-первых, был интересный результат про новые алгоритмы для Polynomial Identity Testing, а именно эквивалентность PIT и факторизации. Также был хороший доклад про Meta Proof Complexity, в котором показали, что определенные системы доказательств не могут утверждать, что в них нет короткого доказательства нижней оценки для Resolution системы (возможно, я сейчас что-то перепутал в изложении результата). Еще была интересная секция о модном сейчас Catalytic Space и пара крутых докладов про Distributed Computing. В общем, достойных докладов было много, но основная часть мне запомнилась потому, что после выступления я дополнительно пообщался с авторами статьи.