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

[paolo mancosu]

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/