10:00 to 12:00
Lecture
The notion of natural proof and the difficulty of showing that P ≠ NP
Timothy Gowers
10:00 to 12:00