University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge, CB3 0FD, UK
Contact information & how to get here
Phone:
Peter.Sewell@cl.cam.ac.uk