Event Detail
Sat Oct 24, 2009 Cordura Hall, CSLI, on the Stanford campus 9:10–11 AM All-day event |
John Mumma, Victor Pambuccian, Michael Friedman, Michael Beeson, Dana Scott Symposium on Constructive Geometric Reasoning |
http://www-logic.stanford.edu/geometry/