| CS611 - Advanced Programming Languages | |||
| Lecture Notes 1994, 1993, 1992, 1991 | |||
| CS486 - Applied Logic | |||
| Course Home Page 2003 | |||
| CS686 - Logics of Programs | |||
| CS671 - Introduction to Automated Reasoning | |||
| Course Home Page 2002, 1999 | |||
| Marktoberdorf Summer School | |||
| 1997, 2001, 2003, 2005 | |||
 |