Detailed information on what needs to be submitted when can be found on the information page.
Presentations
All presentations will take place online in this BBB room.
| Date & Time (CEST) | Student | Topic | Advisor | 
|---|---|---|---|
| Thu, 27 May 2021, 15:00–15:45 | Kevin Kappelmann | Theorems for Free | Tobias Nipkow | 
| Tue, 1 June 2021, 15:00–15:45 | Severin Schmidmeier | Enumerating the Rationals | Tobias Nipkow | 
| Tue, 1 June 2021, 15:45–16:30 | Christoph Madlener | Algebraic Graphs with Class | Mohammad Abdulaziz | 
| Tue, 8 June 2021, 15:00–15:45 | Max Lang | Parallel Parsing Processes | Jonas Rädle | 
| Tue, 8 June 2021, 15:45–16:30 | Tobias Markus | Staged Selective Parser Combinators | Fabian Huch | 
| Tue, 15 June 2021, 15:00–15:45 | Timur Eke | Enumerating the Strings of Regular Languages | Manuel Eberl | 
| Tue, 15 June 2021, 15:45–16:30 | Adrian Reuter | A Play on Regular Expressions | Simon Roßkopf | 
| Tue, 22 June 2021, 15:00–15:45 | Robin Eßmann | A Smart View on Datatypes | Lukas Stevens | 
| Tue, 22 June 2021, 15:45–16:30 | Benjamin Defant | Data Types à la Carte | Lukas Stevens | 
| Tue, 29 June 2021, 15:00–15:45 | Bilel Ghorbel | Scrap Your Zippers | Manuel Eberl | 
| Tue, 29 June 2021, 15:45–16:30 | Sophia Knapp | Trouble Shared is Trouble Halved | Lukas Stevens | 
| Tue, 6 July 2021, 15:00–15:45 | Tex Schönlank | Fast and Loose Reasoning is Morally Correct | Kevin Kappelmann | 
| Tue, 6 July 2021, 15:45–16:30 | Jan van Brügge | Equational Reasoning in Liquid Haskell | Jonas Rädle | 
| Tue, 13 July 2021, 15:00–15:45 | Juli Gottfriedsen | Sorting with Bialgebras and Distributive Laws | Simon Roßkopf | 
Preliminaries (now obsolete)
- 
Students must send in a letter of motivation. For more details, see the Application page.