Öffentliche Disputation

Herr Emanuel Kitzelmann verteidigt seine Dissertation zum Thema "A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs" am Mittwoch, den 28. Juli 2010 um 11 Uhr c.t. in F381.