Date:
1st semester , Thursday 21:30
| Lecture 1: Complexity of proofs and computations | 23/03/1998 | Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia |
| Lecture 2: Natural Proofs and feasible proofs of circuit lower bounds | 25/03/1998 | Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia |
| Lecture 3: Lower bounds for Algebraic proof systems | 26/03/1998 | Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia |