Old Lectures

• Summer 2005: Specification and Verification of Java Programs  Project Bordeaux
• Winter 2004/05: Formal Methods of Software Development I  Project Bordeaux
• Summer 2003: Logic II   Specification and synthesis of Haskell programs
• Winter 2002/03: Logic   (resources: LPL   running LPL under Linux)
• Summer 2001 Types in Programming Languages
• Winter 1999/2000 Algebraic Specification