13 May 2007
Berkeley CA, U.S.A.
INTERPOLATIONS: A Conference in honor of William Craig
Preliminary announcement:
Where: The University of California, Berkeley
When: Sunday, May 13, 2007.
The interpolation theorem is part of the standard logic curricul
um.
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 Universi
ty).
The organizers are Branden Fitelson, John MacFarlane, Paolo Mancosu, and Sh
erri
Roush.
Further information can be found at http://philosophy.berkeley.edu/events/d
etail/275 .