13 May 2007
Berkeley CA, U.S.A.
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/