"Typesystems" is a lecture in the classic style based on a weekly talk, mixed up by activities like interposed questions and brief discussions. After an overview and the introduction of some terminology we repeatedly examine (1) practical experiences [with discussions of own experiences], (2) formal models based on them [with discussions of reasons behind some technical details] and (3) typical applications thereof for type checking [with discussions of prospects and limits], leading to new practical experiences. Students shall prepare themselves for the talks and the final exam also by autonomous research (supported by the script).
An oral exam will check each of the four learning outcomes given above.
Please see the changed conditions for exams (online exams) in German.