[FOM] Interpolations. A conference in honor of William Craig

paolo mancosu mancosu at socrates.berkeley.edu
Thu May 3 14:22:53 EDT 2007

Interpolations: A conference in honor of William Craig.

Location: The University of California at 
Berkeley, Howison Library, Moses Hall.
Date: Sunday, May 13, 2007.

The interpolation theorem is part of the standard 
logic curriculum. This and other results of 
Craig's have had a profound significance in 
logic, philosophy of science, philosophy of 
logic, and computer science. Six internationally 
distinguished speakers will reflect on the 
importance and impact of Craig's work: Solomon 
Feferman (Stanford), Michael Friedman (Stanford), 
Cesare Tinelli (University of Iowa), Dana Scott 
(Carnegie Mellon), Jouko Väänänen (University of 
Amsterdam and University of Helsinki), Johan van 
Benthem (University of Amsterdam and Stanford 
University). The organizers are Branden Fitelson, 
John MacFarlane, Paolo Mancosu, and Sherri Roush.
For a full program (and pictures of Bill Craig) 
see http://sophos.berkeley.edu/interpolations/

More information about the FOM mailing list