Symposium on Constructive Geometric Reasoning

All day Saturday, October 24, 2009

Invited Speakers


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


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

Victor Pambuccian

John Mumma

Michael Beeson

Vaughan Pratt

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.


Solomon Feferman and John Mumma.


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