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:

• Felix:
  • Drawing trees
  • Deriving tidy drawings of trees
• Cass:
  • Three algorithms on Braun trees
  • The Zipper
• Alex:
  • On removing duplicates
  • On building trees with minimum height

Material

• LaTeX template (Use of LaTeX or typst is mandatory, though you may use a different template)
• 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 Monday, 25.01.2027, 9:00 – o.e. in 46-225
• Report draft submission deadline: 11.12.2026
• Review deadline: 04.01.2027
• Final report submission deadline: 05.02.2027 at 23:59

Prerequisites

Having passed at least one of the modules:

• Konzepte der Programmierung
• Functional Programming
• Verified Functional Programming
• Verification with the Rocq Proof Assistant

Registration

The distribution of seminar spots for all CS working groups is centrally managed for bachelor students and for master students on OLAT.