Automatic Reasoning

The teaching activities of the group are listed on this page.

 

  Courses offered by us
You can find our courses by date here
You can find bachelor's or master's theses and projects here
Summer Semester:
  • Automated Reasoning, Master, EN
  • Logic and Verification Seminar, Bachelor/Master, EN
  • Algorithms and Deduction Project, EN
Winter Semester:
  • Logic and Semantics of Programming Languages, Bachelor, DE
  • Algorithms and Deduction Project, EN
  • Game Theory in Logic and Verification, Master, EN [Every 2 years]
  • Logic and Verification Seminar, Bachelor/Master, EN