Banquet speech given at the Marktoberdorf summer school, Germany.
Aug. 3, 1988
An edited version of a banquet speech
given at the Marktoberdorf summer school, sponsored by NATO. It also
appears in Constructive Methods in Computing Science (ed. Broy), NATO
ASI series. Vol. F55, Springer-Verlag, 1989.
Inaugural lecture for Schlumberger Centennial Chair, Austin.
Jan. 25, 2002
Banquet speech given at the U.K. Grand Challenge Workshop, Edinburgh
Nov. 25, 2002
An edited version of a banquet speech
given at the U.K. Grand Challenge Workshop, organized by the UK
Computing Research Committee, in Edinburgh, Nov. 24-26, 2002.
In memoriam, Amit Garg, 1977 - 2003
April 14, 2003
Speech given at the University of
Texas at Austin to remember Amit Garg, a student who died in a car
accident.
Speech to undergraduates
May 2, 2003
Speech given at the University of
Texas at Austin on the last class day in CS337.
Demonic Nondeterminacy
August 25, 2003
Speech given in a panel
discussing the scientific contributions of Dahl, Dijkstra and Nygaard,
at Europar-2003, Klagenfurt, Austria.
A perspective on Formal Methods in Education
June 09, 2008
Talk given at Formal Methods Outreach
Conference at SRI International, Menlo Park.