• Coalgebra (Fall 2018): more information soon! See here for the 2016 edition
• Languages and automata (Q2 2018, Q2 2017, Q2 2016)
• Introduction to Robotics (Spring 2018)