Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: Sunday 13 May 2007
Location: 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 .

Please note that this newsitem has been archived, and may contain outdated information or links.