13 May 2007, "Interpolations", A Conference in honour of Bill Craig, Berkeley CA, USA

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 University),
Michael Friedman (Stanford University),
Cesare Tinelli (University of Iowa),
Dana Scott (Carnegie Mellon University),
Jouko Väänänen (University of Amsterdam and University of Helsinki),
Johan van Benthem (University of Amsterdam and Stanford University).

Further information can be found at http://philosophy.berkeley.edu/events/detail/275 .