During the academic year 2000-2001, the School of Mathematics hosted a special program on computational complexity theory at the Institute for Advanced Study. Several senior researchers were in residence at the Institute for the year, as well as a large number of junior visitors and post-doctorate fellows. Some topics on which special focus was planned were:
- Boolean and Algebraic complexity -- ( towards P vs NP )
- Proof complexity -- ( towards NP vs coNP )
- Computational Randomness -- ( towards P vs BPP vs EXP )
The following organizers of the special program were:
John Hastad, Royal Institute of Technology, Sweden.
Pavel Pudlak, The Czeck Academy of Sciences, Czeck Republic. (Fall Term Only.)
Ran Raz, The Weizmann Institute of Science, Israel.
Alexander Razborov, Steklov Mathematical Institute, Russia.
Avi Wigderson, Institute for Advanced Study
Members, visitors and students participating in the special program were:
Dieter van Melkebeek
|Workshops and Conferences:
Complexities of Proofs and Computations
Invited participants were: