Practical Course – Contributing to an Open-Source Project

Chair for Logic and Verification

Application

APPLICATION IS CLOSED

There will be a kick-off meeting on Monday, July 6 at 3 pm in this BBB room, explaining the details of the practical course. You can find the slides here.

You can apply on the Matching Platform. Priority will be given to students that attend the kick-off meeting and provide a letter of motivation (200-250 words, by July 21 to haslbema@in.tum.de).