Version v44 of the website has just launched. In this version we fixed a security vulnerability that could leak your birthday, check here for more info.

Automated Reasoning

This is the overview for Automated Reasoning. You can find all the exams and summaries that Thalia has here.

Keep in mind that old exams and summaries may not always test the same material as this year.


  • Course code: NWI-IMC009
  • EC: 6