====== Winter semester 23/24 ======

=== Bachelor ===
[[en:lehre:wise2324:proseminar]]
  * Proseminar
  * ECTS: 4
  * Supervisor: [[en:lehrstuhl:mitarbeiter:pfannschmidt]]
\\
[[en:lehre:wise2324:seminar]]
  * Seminar
  * ECTS: 4 oder studiengangsspezifisch
  * Supervisor: [[en:lehrstuhl:mitarbeiter:pfannschmidt]]
\\ 
[[en:lehre:wise2324:spp]]
  * Seminar
  * ECTS: 6
  * Supervisor: [[:lehrstuhl:mitarbeiter:kluener]]
\\ 

=== Master ===
[[en:lehre:wise2324:seminar]]
  * Seminar
  * ECTS: 4 oder studiengangsspezifisch
  * Supervisor: [[en:lehrstuhl:mitarbeiter:pfannschmidt]]
\\
[[en:lehre:wise2324:cpnav]]
  * Lecture with practical exercise
  * ECTS: 6
  * Supervisor: [[en:lehrstuhl:mitarbeiter:schaefer]]
\\
[[en:lehre:wise2324:formale_methoden_fuer_steuerungssoftware]]
  * Lecture
  * ECTS: 6
  * Tutor: [[:lehrstuhl:mitarbeiter:henn]], [[:lehrstuhl:mitarbeiter:voelker]]