My web site and me moved to the

Institute for Logic, Language and Computation

University of Amsterdam

staff.science.uva.nl/~sfrank