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 Vnnen (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/