• Galois Connections on January 9, 2007 (TCS-Soup seminar)
• Widening and Narrowing on January 9, 2007 (TCS-Soup seminar)
• Lattices on January 10, 2007 (TCS-Soup seminar)
• Symbolic Execution on January 10, 2007 (TCS-Soup seminar)
• Detecting Determinacy on January 29, 2007 (TCS seminar)