Justin Snedegar Here is a
link.
UCLA Logic Center and the Department of Mathematics
The Convergence of Logic, Mathematics and Computer Science
A Public Symposium and Reception
Thursday, April 30, 2009
Kerckhoff Hall, Charles E. Young Grand Salon
2:00pm-7:00pm
Martin Davis, New York University
Michael O. Rabin, Harvard University and Google Research
Moshe Y. Vardi, Rice University
Schedule
2:00-3:00 Moshe Y. Vardi - From Aristotle to the
Pentium
3:00-3:30 Tea break
3:30-4:30 Martin Davis - Hilbert's Tenth Problem
4:30-5:00 Tea break
5:00-6:00 Michael O. Rabin - Novel Concepts of Proof and Their Applications
6:00-7:00 Reception
RSVP to Logicsymp@math.ucla.edu or 310.794.9080