Bachelor/Master Seminar (WS 2025/26)

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

Topics

This years 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.

• Supervised by Felix:
  • “Two greedy algorithms”
  • “Unravelling greedy algorithms”
  • “Deriving representation changers functionally”
• Cass:
  • “On removing duplicates”
  • “On generating unique names”
  • “Efficient sets—a balancing act”
• Alex:
  • “The Minout Problem”
  • “A symmetric set of efficient list operations”
  • “The last tail”

Material

• LaTeX template (Use of LaTeX is mandatory, though you may use a different template)
• Kick-off slides

Schedule

• Kick-off Meeting (compulsory attendance): Thursday, 23.10.2025, 08:30 - 09:45 in 32-439
• Presentations
  • There will be one full day of presentations on 19.01, 9:30 – o.e., 46-225
• Paper draft submission deadline: 12.12.2025
• Review deadline: 05.01.2026
• Final paper submission deadline: 06.02.2026 at 23:59

Registration

The distribution of seminar spots for all CS working groups is centrally managed in the following OLAT courses (Signups have closed!):

• Bachelor Seminar
• Master Seminar