2000 Tarski Lectures

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
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