Craig’s 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 (Berkeley, Philosophy).
Where and when
The conference will take place in Howison Library, in Moses Hall, at the University of California, Berkeley, on May 13, 2007.
For a full program (and pictures of Bill Craig) see http://sophos.berkeley.edu/interpolations/