Trends in Software Synthesis Bernd Finkbeiner

Instructors

Bild
Bernd Finkbeiner
Contact: ( )
Tutorial #1: Thursday, 01:00 in E1.3 R528
Tutorial #2: Thursday, 02:00 in E1.3 R528
Tutorial #6: Thursday, 06:00 in E1.3 R528
Tutorial #7: Thursday, 07:00 in E1.3 R528


Assistants

Bild
Swen Jacobs
Contact: ( )
Tutorial #4: Thursday, 04:00 in E1.3 R528
Tutorial #5: Thursday, 05:00 in E1.3 R528
Tutorial #10: Thursday, 10:00 in E1.3 R528
Tutorial #11: Thursday, 11:00 in E1.3 R528

Bild
Hazem Torfah
Contact: ( )
Tutorial #3: Thursday, 03:00 in E1.3 R528
Tutorial #8: Thursday, 08:00 in E1.3 R528
Tutorial #9: Thursday, 09:00 in E1.3 R528
Tutorial #12: Thursday, 12:00 in E1.3 R528




If you encounter technical problems, please contact the administrators