All scheduled dates:

Upcoming

No Upcoming activities yet

Past


- Speaker 1: Marijn Heule. Talk title: Computer-aided Mathematics: 
Successes, Advances, and Trust
- Speaker 2: Dmitry Sokolov. Talk title: Pseudorandom Generators, 
Resolution and Heavy Width



Location Room 116


Location TBD