The seminar will be a hands-on exploration of programming language systems for various purposes (reflection, verification, relational/logic programming, …). Each student will design and implement their own system (for example, a virtual machine and/or programming language and/or framework) in the language of their choice for the purpose of their choice.