Kick-off Meeting
There will be a kick-off meeting on 16 July 2021, 16:00 in this BBB room. Participation is not mandatory, but highly recommended.
Letter of Motivation
Students must email a letter of motivation to Mohammad Abdulaziz by 25 July 2021. The letter should be concise (roughly 250 words is quite enough). It should highlight what prior experience the student has with machine learning and verification as well as why the student finds the seminar interesting.
Matching
Applications must be made through the Matching Platform. During the matching, preference will be given to students who attended the kick-off meeting and who submitted a convincing letter of motivation.