The school is held jointly by the Faculty of Mathematics of HSE and the Faculty of Mathematics and Computer Science of St. Petersburg State University. The school consists of a number of…

A new position in Mathematical Logic and Theoretical Computer Science is open. The deadline is February 12, 2021. Click for details…

The department organizes a New Year colloquia series on December 27 – January 8. Our faculty and guest speakers will give (mostly) short talks on current results and problems in their research areas.…