Bachelor/Master Seminar (WS 2026/27)

We offer a Bachelor/Master seminar “Software Engineering” (cf. INF-33-11 / INF-33-72).

Topics

The Topic is “Functional Pearls”, that is, papers published in that category at ICFP (International Conferences on Functional Programming) or in JPF (Journal of Functional Programming). We refer to Jeremy Gibbon’s Definition of Functional Pearls. In groups of two you will be assigned each a different paper that you will present in a presentation and a written report.

Pearls: - “On removing duplicates” - “On generating unique names” - “Drawing trees” - “Deriving tidy drawings of trees” - “The Third Homomorphism Theorem” - “Deduction for functional programmers” - “Three algorithms on Braun trees” - “The Zipper” - “On building trees with minimum height”

Material

LaTeX template (Use of LaTeX or typst is mandatory, though you may use a different template)
TBA: Kick-off slides

Schedule

Kick-off Meeting (compulsory attendance): Thursday, 22.10.2026, 08:30 - 09:45 in 32-439
Presentations
- There will be one full day of presentations on TBA, 9:30 – o.e., TBA
Report draft submission deadline: 11.12.2026
Review deadline: 04.01.2027
Final report submission deadline: 05.02.2027 at 23:59