Liebe Kollegen, diesen Freitag, am 12.5.06, halte ich von 11:00 bis 12:30 meinen Promotionsvortrag "Verified Proof Carrying Code" zur Probe. Freue mich auf Euer Kommen. Raum: 00.09.055 (Alan Turning) Gruesse, Martin