Seminar ‘Functional Pearls’ – Schedule

Chair for Logic and Verification

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)

9 February 2021, 16:00: Kick-off Meeting
There will be a kick-off meeting in this BBB room. All students interested in participating should attend this meeting. Those who attended the meeting will be given preference during matching.
20 February 2021: Deadline for letter of motivation
Students must send in a letter of motivation. For more details, see the Application page.
22 February 2021: Matching
Students can submit their preferences for seminars until this date. On 25 February, they will then be matched to a seminar.
March 2021
Students will receive an email with further details, such as how to submit their preferences for topics, and will subsequently be matched to a topic.
Around May/June 2021
The talks will be held online. Some weeks before each talk, a student must submit a draft of their paper so that two other students can write a review about it. The student is expected to improve their draft on the basis of these reviews.