|
INSTITUTE
for ADVANCED STUDY SCHOOL OF MATHEMATICS Princeton, New Jersey |
|
INSTITUTE
for ADVANCED STUDY SCHOOL OF MATHEMATICS Princeton, New Jersey |
Workshop on: Complexity of Proofs and Computations December 10, 2000 - December 16, 2000 |
|---|
Abstracts
Eric Allender, Rutgers University
Jan Krajicek, Mathematical Institute of Academy of Sciences
Amir Shpilka, University of Jerusalem
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
