Ausgewählte Themen aus dem Bereich Formale Methoden und ihre Anwendungen

What it is about

You engage with current topics from the area of Formal Methods and their application. In the end you know the research and development state in selected subfields and you can deal with current research projects and results.

What you will be able to do

Knowledge of current research status in selected areas of Formal Methods
Ability to critically follow and classify newer research projects
Application and evaluation of selected concepts and techniques

What the module consists of

VorlesungPresents selected concepts and techniques and explains them using examples
Übung (möglicherweise)Deepens understanding through exercises and practices the application of the techniques to solve manageable problems

Teaching method

Folien- oder TafelpräsentationVisualizes and explains the concepts
Beispiele/DemonstrationenIllustrate the application of the techniques
ÜbungsaufgabenTrain independent solving of concrete problems
Eventuell Online-Programmierung/AnimationenEnable practice-oriented or interactive demonstrations

Dates

Lecture with exerciseAusgewählte Themen aus dem Bereich Formale Methoden und ihre Anwendungen (IN3350)2 groups to choose from

ATue14:00–16:00
00.13.008, Seminarraum (5613.EG.008)
15× · 13.10.–02.02.
- 13.10.
- 20.10.
- 27.10.
- 03.11.
- 10.11.
- 17.11.
- 24.11.
- 01.12.
- 08.12.
- 15.12.
- 22.12.
- 12.01.
- 19.01.
- 26.01.
- 02.02.
BMon14:00–16:00
01.11.018, Seminarraum (5611.01.018)
14× · 19.10.–01.02.
- 19.10.
- 26.10.
- 02.11.
- 09.11.
- 16.11.
- 23.11.
- 30.11.
- 07.12.
- 14.12.
- 21.12.
- 11.01.
- 18.01.
- 25.01.
- 01.02.

From the current semester, not binding. You attend one of several groups; the timetable automatically suggests the one with the fewest clashes.

Filters