Eine Wissenschaftsmatinée des WissenschaftsForumSaar zum Thema „Algorithmen – das Herz von Informatiksystemen†findet am Sonntag, 07. Februar 2010 um 11 Uhr statt. Prof. Mehlhorn wird in der Handwerkskammer des Saarlandes in der Hohenzollernstraße 47-49 zunächst die Grundlagen der Algorithmen erklären und sodann erläutern wie die Korrektheit eines Algorithmus und seiner Implementierung nachweisen werden kann. Um eine Anmeldung wird gebeten.