Atlas home || Conferences | Abstracts | about Atlas

Complexity of Proofs and Computations

December 10-16, 2000

Princeton, NJ, USA

Mathematics

Host: Institute for Advanced Study
Homepage: http://www.math.ias.edu/~huguenin/proofsconf.html

Organizers: Pavel Pudlák, Alexander Razborov, Avi Wigderson

Date received: September 25, 2000

© 2008 Atlas Conferences Inc.