Seminar Organization

In this seminar, student participants learn to process scientific literature in the area of "Formal Methods", prepare and give a presentation, and (optionally) write a scientific paper. In addition, they hear presentations of researchers working in this area reporting on their work and ongoing projects.

To get credit for this seminar, a student participant

1. selects a topic (either from the presented list or from another topic of interest) and a presentation date (both topic and date to be agreed with the seminar supervisor, the date must be not later than 2 months after the start of the seminar),
   
2. processes the corresponding literature/resources,
3. prepares the overall structure of an introductory presentation to this topic for a general audience in a length of 30-40  minutes (15-20 slides, potentially including a tool demonstration)  and submits it 3-4 weeks before the presentation;
4. discusses the concept in a subsequent meeting (not later than 3 weeks before the presentation) with the supervisor for adaptations and refinements;
   
5. prepares the detailed presentation and submits it at least 1 week before the presentation; the seminar supervisor will give last feedback with chance for subsequent modifications;
6. gives the presentation and submits the final presentation slides.

Subsequently, the student chooses some more special aspect of this topic (in agreement with the seminar supervisor) and

• either prepares and gives another presentation on this aspect at the end of the semester (or at the start of the subsequent semester) with the same workflow as above (assuming that the audience has already heard the first presentation),
  
• or prepares a 10-15 pages paper on this aspect to be delivered to the seminar supervisor; the workflow is similar to that for the presentation (submission of the overall structure, then a detailed elaboration, and after feedback a final version).

If the seminar shall account as a "bachelor seminar", the second option is mandatory; in this case, the size of the paper (the bachelor thesis) is about 30-40 pages.