Thursday, Dec. 17
CUNY Graduate Center, room 9204/05

4:15-5:30   Dana S. Scott: Mixing modality and probability
5:30 - 7:00 Wine and cheese reception (Math Lounge 4208)

Friday, Dec. 18
CUNY Graduate Center, room 9206/9207

9:00 - 9:30     Coffee (Math Lounge 4208)

9:30 - 10:30     Graham Priest: Mathematical Pluralism
10:30 - 11:30   Bob Cowen: A Combinatorial Version of the Davis-Putnam Procedure
11:30 - 12:00   Coffee break (Math Lounge 4208)
12:00 - 1:00     Melvin Fitting: Elementary Formal Systems, and where they went

1:00 - 2:30       Lunch

2:30 - 3:30     Jon Michael Dunn: Smullyan's Analytic Tableaux Applied to Probabilistic Entailment in Jøsang's Subjective Logic (and Related Systems)
3:30 - 4:00     Coffee break (Math Lounge 4208)
4:00 - 5:00     Martin Davis: Reflections on Hilbert's 10th Problem (With a New Conjecture)
5:00 - 6:00     Anil Nerode: Reminiscences: Ray at Chicago, 1950's