Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

20-00-0776 Software Engineering mit formalen Methoden (Oberseminar) · TUPlan

← All courses

20-00-0776

Software Engineering mit formalen Methoden (Oberseminar)

FB20 Computer Science · Offered in WiSe 2025/26

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension (opens in a new tab)Not in the Chrome Web Store yet — for now the link goes to a store search.

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2025/26

No weekly sessions listed.

Parts

20-00-0776-osAdvanced seminar2 contact h/week

Language: Englisch
Taught by: Prof. Dr. rer. nat. Reiner Hähnle

Course content

In dem Oberseminar berichten Mitarbeiter und Gäste des FG Software Engineering über ihre aktuelle Forschung und deren Ergebnisse. Des weiteren präsentieren Studierende, die am FG Software Engineering ihre Bachelor- oder Massenarbeit schreiben regelmäßig ihre Ergebnisse

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong