A new elective in the 2026-27 curriculum — likely covers automated theorem proving and/or multi-agent negotiation systems, per the course name and its listing in the Feb 2026 assembly deck. No official TU Delft course description exists yet.
Download course · 416 BytesNo material has been collected for this course yet.