Workshop on:
Complexity of Proofs and Computations

December 10, 2000 - December 16, 2000

Eric Allender, Rutgers University

Lance Fortnow, NEC Research

Nicola Galesi, IAS

Valentine Kabanets, IAS

Jan Krajicek, Mathematical Institute of Academy of Sciences

Ran Raz, IAS

Alexander Razborov, IAS

Dieter Van Melkebeek, IAS

Amir Shpilka, University of Jerusalem

Eli Ben-Sasson, IAS

Josh Buresh-Oppenheim, University of Toronto

Antonina Kolokolova, University of Toronto

Venkatesh Srinivasan, IAS

Alan Woods, University of Western Australia

Gaisi Takeuti, Univesity of Pennsylvania (Extended Abstract)

Tsuyoshi Morioka, University of Toronto

Last updated 14 Feb 2001