A Vision of Large-scale Software Design
April 09, 2010
Speech delivered at Ecole Normale Superieure, Cachan, France, on the occasion of receiving an honorary doctorate (Doctorat Honoris Causa).
Remembering Edsger W. Dijkstra at WG 2.3
March 03, 2010
Banquet Speech at WG 2.3, Lachen, Switzerland.
Should We Teach Formal Methods at All?
Nov 09, 2009
The Computer Science Vision lecture.
Criterion of Success in Teaching
Oct 13, 2009
Acceptance speech on the occasion of induction to the Academy of Distinguished Teachers at the University of Texas at Austin.
A perspective on Formal Methods in Education
June 09, 2008
Talk given at Formal Methods Outreach Conference at SRI International, Menlo Park.
August 25, 2003
Speech given in a panel discussing the scientific contributions of Dahl, Dijkstra and Nygaard, at Europar-2003, Klagenfurt, Austria.
Speech to undergraduates
May 2, 2003
Speech given at the University of Texas at Austin on the last class day in CS337.
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.
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.
Inaugural lecture for Schlumberger Centennial Chair, Austin.
Jan. 25, 2002
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.