Öffentliche Disputation

Herr Martin Hofmann verteidigt seine Dissertation zum Thema "Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms" am Mittwoch, den 22. Dezember 2010 um 16 Uhr c.t. in F 303.