Bit late maybe (we’re already in week 4), but here’s the list of courses of this trimester.
- Proving with computer assistance (assignment + exam)
- Advanced algorithms (assignment + paper)
- Heuristic search (exam)
- Visualization (assignment)
- Requirement analysis, design and verification (exam + assignment)
- Wiskunde 4 (exam)
Well, then there still are those three assignment courses…