Seminar: Principles of Programming Languages

Resonsible:Prof. Dr. Peter Thiemann
Assistance:Hannes Saffrich
Time and Place: Di 13-15, SR 00-010/14, Geb. 101

Topic Selection

Here is a list of papers which are suitable for presentation in the seminar. Papers are annotated with a topic (Agda, Haskell, Types, Lambda, Semantics, Scala) and our rough estimate of the difficulty (*-***). The seminar runs throughout the semester in weekly meetings. Therefore, we invite prospective participants to get in touch with the seminar organizers (email to both) as soon as they are prepared to commit to a topic. You may also suggest a topic backed by papers not from the list up to approval by the organizers. We will assign seminar slots on a first-come-first-serve basis. Remaining slots will be assigned automatically by HisInOne.

The first meeting is dedicated to discuss administrative matters. It will also be possible to ask questions about specific papers.


  • Active participation in the seminar sessions
  • Hand-ins of the elaboration and the slides submitted before the respective deadlines
  • Preparation and presentation of a 30-minute talk about the topic of the assigned paper
  • Preparation of a written elaboration of the topic of the assigned paper (10 pages, LaTeX, LNCS Style)

A seminar concentrates on scientific results, but it also teaches competences required for scientific work. In particular

  • literature research
  • reading and understanding of scientific texts
  • presentation skills
  • creating a written elaboration


A deadline means that we can process your submission first thing in the morning on the following day. All deadlines and submissions will be handled through an Ilias course.

There are weekly meetings throughout the semester...

Draft slides are due one week before the presentation and are subject to peer review. Final slides are due after the presentation. Elaborations are due at the end of the semester. Please check the detailed time table in Ilias.


The elaboration should be 10 pages max. It must be prepared with

LaTeX, document class llncs.cls

Use this class according to the template document which is available on the Springer web site under Information for Authors. The above website contains a useful rubric "Author Guidelines" with further information. Do not change the formatting parameters of llncs.cls in any way. You must use bibtex for references. Many bibtex references can be obtained from the DBLP computer science bibliography.

A good introduction to LaTeX may be found in the documentation of Overleaf.

You should adhere to this style guide for all texts at the proglang group.

Deadline for handing in the first version of the elaboration: TBD.

Presentation Schedule

Date and TimeTopicPresenter