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 )…
20.02.21 в 15-00 в Zoom. joinmkn.ru
What exactly have Mersenne, Goldbach and Waring asked?
Итоги конкурса
Факультет математики и компьютерных наук СПбГУ и факультет математики НИУ ВШЭ проводят с 29 января по 03 февраля 2021 года
A new position in Mathematical Logic and Theoretical Computer Science is open. The deadline is February 12, 2021. Click for details…