Strategyproof-Exposing Mechanisms Descriptions

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

Colloquium Speaker: Yannai Gonczarowski (Harvard) Title: Strategyproof-Exposing Mechanisms Descriptions Abstract: One of the crowning achievements of the field of Mechanism Design has been the design and usage of the so-called […]

Breaking the one-mind-barrier in mathematics using formal verification

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

https://youtu.be/D7dqadF5k9Q New Technologies in Mathematics Seminar Speaker: Johan Commelin, Mathematisches Institut, Albert-Ludwigs-Universität Freiburg Title: Breaking the one-mind-barrier in mathematics using formal verification Abstract: In this talk I will argue that […]