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