Logic List Mailing Archive

Symposium on Constructive Geometric Reasoning

24 Oct 2009
Stanford CA, U.S.A.

Symposium on Constructive Geometric Reasoning Cordura Hall, CSLI, on the 
Stanford campus, October 24.

Website: http://www-logic.stanford.edu/geometry/

Invited Speakers:
  - John Mumma (Stanford)
  - Victor Pambuccian (Arizona State)
  - Michael Friedman (Stanford)
  - Michael Beeson (San Jose State)
  - Dana Scott (UC Berkeley)

Time and Place: From 9:15am to 5:30pm in Cordura Hall 100, 210 Panama
Street. Participants are invited for a buffet lunch and dinner.

Organizers: Solomon Feferman and John Mumma

Sponsored by the Division of Logic, Methodology, and Philosophy of
Science in the Patrick Suppes Center for the Interdisciplinary Study
of Science and Technology.