February 20 Open Day Online…
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 )…
What exactly have Mersenne, Goldbach and Waring asked?
Итоги конкурса
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…