Seminar: Winter Semester 2017/18

In the Winter Semester 2017/18 we offer a Bachelor and Master seminar “Software Engineering” (cf. 89-3311 and 89-3372).


Please register for the seminar via a short mail to Peter Zeller. The mail can be written in English or German and should include:

  • Your name
  • Student number
  • Course of Study (Bachelor CS, Master CS, EMSE, …)
  • What is your background on logic, verification, and concurrent/distributed programming? Which courses on these topics did you complete successfully?

Note that the number of places we can offer is limited.


  • Registration: 1 September
  • Kickoff Meeting: in the first week of the semester (October 23.-27.). The exact date will be announced later.
  • Extended Abstract submission: 13 November
  • First draft of paper: 11 December
  • Presentations: We will have several presentation sessions towards the end of the semester. The dates and times will be announced later.
  • Final paper: 9 February


In this seminar, we focus on the topic “Logic and formal verification in Software Engineering”.

A preliminary list of topics is available here: List of topics


If you have any questions concerning our seminar please send an e-mail to Peter Zeller.

General Remarks

The goal of a seminar is to introduce students to the major constituent of scientific method that is concerned with critically reading, understanding, summarizing, explaining and presenting existing scientific papers. The following links present this goal in more detail: General guidelines for seminars in English and German. This seminar in particular provides the students opportunity to get acquainted with the research in software engineering.

You will get a scientific paper, which you will have to explain in a term paper (10-15 pages LNCS style, details are given below). Your paper should be understandable by an average master-level computer science student, so you usually have to provide more background information, than what is given in the original paper. In particular this includes a clear description of the problem, a good motivation, and an understandable representation of the solution proposed by the original paper. Your paper may also include critique of the of the original paper, if appropriate.

You will also present the paper to other students. This presentation will take 20 to 30 minutes with around 15 minutes for questions and discussions.

Successful participation in the seminar requires:

  • Term Paper
  • Presentation


The master seminar has to be done in English. The bachelor seminar can be done in German or English.

Term paper (Preliminary and Revised Versions)

The term paper must be written in LNCS Style, a popular medium for efficient dissemination of new developments from all areas of computer science. We recommend to use LaTeX.

  • The LaTeX template with instructions can be downloaded here (local copy). We provide an example on how to use the LaTeX template here. You can compile the example using the command latexmk -pdf seminar.tex.

Your paper must be 10-15 pages long (including figures, references, etc.; however, you should not use big figures as space filler to get to 10 pages). Please submit the paper as a PDF file.

Here are some advice on writing your term paper in addition to the general guidelines:


Some bright people have given up their time to write some tips on how to do a presentation. As with other tips given on this page, we can’t encourage you enough to read them.