Web News

Ist

*2002-09-13*

   * 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.