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.
Demonic Nondeterminacy
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.