Advanced Topics in Term Rewriting
Computational Logic (bachelor project)
Logic in Computer Science
Topics in Termination (master seminar)