Die Einrichtung eines Mail-Verteilers wurde bekanntgegeben. Im Verlauf der nächsten Woche wird eine UNIX-Gruppe namens "roses" eingerichtet, der alle Mitglieder des Projekts mit dem Befehl "grp -join roses" beizutreten haben sobald sie eine entsprechende Mail erhalten.
Die Veranstaltung "Korrekte Software durch formale Methoden" ist von Dienstags auf Mittwochs verlegt worden. Zeit und Ort bleiben gleich (10 - 12 Uhr, MZH 5212).
Es wurde darauf hingewiesen, daß die Veranstaltung von Jan Peleska "Specification of Safety -Critical Systems" auch verständlich sei, ohne die Vorlesung des letzten Semesters besucht zu haben. Informationen zu jener Vorlesung sind hier zu finden.
Anschließend wurden uns sowohl einige Fähigkeiten als auch die Ausstattung des alten und des neue Rollstuhls kurz vorgestellt.
Zum Schluß haben wir uns einige Gedanken gemacht zu eventuellen Projektzielen bzw. -aufgaben: