Information on the course "Verification" (winter semester 2026/2027)

information

  • In order to obtain messages regarding cancellation of lectures, changes of room or time etc, please enrole into this course in moodle.

course material

  • this slot might or might not be filled at term time.

general information

lecture date / lecture time

  • Monday, 15:00 - 16:30 Uhr, Sr OEC 2007
    Tuesday (U), 13:00 - 14:30 Uhr, Sr OEC 4007
  • Prof. Dietrich Kuske