List of Courses
NWI-IPC020 Mathematical Structures
EH (coordinator), Aldo Gunsing, Daniël Kuijsters
NWI-IPK001 Introduction to Formal Reasoning
Freek Wiedijk (coordinator), EH, Niels van der Weide
NWI-IPI004 Logic and Applications
EH (coordinator), Robbert Krebbers
NWI-IBC026 Semantics and Correctness
EH (coordinator), Niels van der Weide
NWI-IBC025 Semantics and Rewriting
EH (coordinator), Erik Barendsen, Niels van der Weide
NWI-IBI010 Reflection and Vocational Orientation
Perry Groot (coordinator), EH