festive occasions

 
ProgramLive!
Calculational
logic
festive occasions
ABC book
CS Faculty over the years
CS@Cornell
The Triple-I Administration

 

 

Below are some events at which I spoke or sang

Fortieth anniversary of the Informatics Department, Munich Technical University, 26 October 2007.
doc   Keynote slides.zip   pdf file of keynote slides

• Keshava, sung at the going-away party for Keshav Pingali, 31 May 2006.
Sung to the tune of Que sera sera. Click here for the pdf and doc
versions, both of which have the words. Dexter Kozen accompanied me
on the piano.




An ABC Book, Banquet speech at the CS Cornell 40th
anniversary symposium, 1 October 2005. Here is a
134KB jpg file of the 40th anniversary banner. Here is
the 40th anniversary brochure.

 

ABC book. A 30-page book providing a glimpse of the CS Department about October 2006.

ITiCSE, June 2002, Banquet speech at ITICSE 2002.

ITiCSE, June 2002, Banquet speech at ITICSE 2002.

Hartmanis's retirement conference, May 2000, Banquet speech

A Glimerick of hope, May 1995 (given in Limerick, Ireland, so be prepared), Banquet speech.

Year of Programming, Austin Texas, October 1987, Banquet speech.