The 2000 Tarski Lectures will be delivered by Alexander Razborov on April 10, 12, and 14.
Department of Mathematics, University of California, Berkeley, presents
The Twelfth Annual 2000 Alfred Tarski Lectures
Alexander Razborov
Leading Researcher
Steklov Mathematical Institute
Moscow
Nevanlinna Prize Winner
"Complexity of Proofs and Computations"
Monday, April 10
4 LeConte Hall, 4:10pm-5:00pm
"Interactive and Probabilistically Checkable Proofs: A New Paradigm"
Wednesday, April 12
1 LeConte Hall, 4:10pm-5:00pm
"Algebraic Proof Systems"
Friday, April 14
60 Evans Hall, 4:10pm-5:00pm