Seminar ‘Functional Pearls’

Chair for Logic and Verification

Note: Application is now closed.

Kick-off Meeting

There will be a kick-off meeting on Tuesday, 9 February 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 Manuel Eberl by 20 February 2021. The letter should be concise (roughly 250 words is quite enough). It should highlight what prior experience the student has with functional programming and what topics they are interested in and why.

This requirement is waived for any students who achieved a Top 30 rank in any week of any of the FPV competitions in the last few years. If you are one of these students, simply notify Manuel Eberl of this in lieu of a letter of motivation.

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.