ru en
News
Open Day Online. Master and PhD programs
Open Day Online. Master and PhD programs

February 20 Open Day Online…
Trade-offs between Length, Space, and Weights in the Cutting Planes Proof System
Trade-offs between Length, Space, and Weights in the Cutting Planes Proof System

COLLOQUIUM Thursday, February 18, 17:15, Zoom channel 958-115-833 ­­Marc Vinyals (Technion) Trade-offs between Length, Space, and Weights in the Cutting Planes Proof System Announcement Linear threshold functions (of the form )…
Colloquium of the Department of Mathematics and Computer Science
Colloquium of the Department of Mathematics and Computer Science

What exactly have Mersenne, Goldbach and Waring asked?
Joint competition call for support of young mathematicians in St. Petersburg results
Joint competition call for support of young mathematicians in St. Petersburg results

Итоги конкурса
Winter School in Мathematics and Theoretical Computer Science
Winter School in Мathematics and Theoretical Computer Science

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…
New Position in Math Logic and TCS
New Position in Math Logic and TCS

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