Web News

• Note that I have changed the set of selectable assignments for Program Verification. Now you can only select the Array Boundary challange. I plan to do the other(s) together. --Wish.

2002-09-09

• The lecture of September 10, 2002 by Doaitse Swierstra is cancelled due to illness.

2002-09-02

• Slides for the first lecture about `What is Software Technology?' are now available.