Het vak Formele Methoden voor Software Engineering zal plaatsvinden in kwartiel 3 (2A).

Er waren geruchten dat het vak FMSE in een ander kwartiel zou plaatsvinden dan gecommuniceerd. Dit is echter niet het geval. FMSE zal gewoon plaatsvinden in kwartiel 3 (2A).