Symposium on Constructive Geometric Reasoning

All day Saturday, October 24, 2009

Invited Speakers

John Mumma (Stanford): “Exact geometric constructions with inexact diagrams” (abstract)
Victor Pambuccian (Arizona State University): “Universal axiomatizations of plane geometries in languages without relation symbols” (abstract)
Michael Friedman (Stanford): “Kant on Geometry and Spatial Intuition” (abstract)
Michael Beeson (San Jose State): “The parallel postulate in constructive geometry” (abstract)
Dana Scott (Carnegie Mellon and UC Berkeley): “Geometry via Algebra” (abstract)

Schedule

9:15–9:30	Welcome
9:30–10:45	John Mumma
10:45–11:00	Coffee Break
11:00–12:15	Victor Pambuccian
12:15–1:30	Lunch at CSLI
1:30–2:45	Michael Friedman
2:45–3:00	Break
3:00–4:15	Michael Beeson
4:15–5:30	Dana Scott
5:30–7:00	Dinner at CSLI

Update

Slides from some of the symposium's talks can be found here:

Conference Location

All conference events will be held at CSLI in Cordura Hall, Room 100. The address is 210 Panama Street. Directions can be found here. There is free parking in the lot across Panama Street after 4:00pm on weekdays and all day on weekends.

Collocated Event

On Friday the 23rd, Dana Scott will also be giving a talk on modal set theory in Cordura Hall 100, at 4:00. See here for details.

Organizers

Solomon Feferman and John Mumma.