Helsinki 2016: Slides for a talk given in Helsinki, Finland, May 2016.
ESSLLI 2012: Slides for a talk given in Opole, Poland, August 2012.
Herbrand Award speech: This was delivered in Manchester at the CADE/IJCAR conference, June 26, 2012. [The parts in square brackets were extemporaneous additions to the written text.]
Department of Mathematics and Computer Science (Emeritus)
Departments of Computer Science, Philosophy, and Mathematics (Emeritus)
The Graduate School and University Center
365 Fifth Avenue
New York, NY 10016-4309
Graduate Center room 4411
(phone 212 817-8206)