Image

No Upcoming activities yet
- 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