In 2010, I held a course on Formale Grundlagen der Informatik for the students in Computer Science from the University of Zürich.