Gerade kam das Programm raus für den German Verification Day (siehe auch hier), und so habe ich erfahren, dass ich nun doch keinen Vortrag halten muss. Das ärgert mich an und für sich jetzt nicht so sehr, nur hätte ich das gerne mal direkt gehört oder gelesen. Aber guter Stil ist eben selten. Pff.