Seminars

• Formal Specification and Verification Techniques (TU KL, CS, WS 2004/2005)

• Post Graduate Course on ASMs and their Applications (TU KL, CS, WS 2003/2004)

• Specification and Verification (TU KL, CS, SS 2003)

• Cryptography (TU KL, CS, WS 2002/2003)

• Logic (TU KL, CS, SS 2002)

• Computer Algebra (TU KL, CS, WS 2001/2002)

• Specification and Verification (TU KL, CS, SS 2001)

• Computeralgebra and Specification Techniques (TU KL, CS, WS 2000/2001)

• Cryptography (TU KL, CS, SS 2000)