Computational Models

Natural Language Processing (Seminar)

Logic and Computer Science (Advanced Research Seminar)

Scientific Writing

Natural Language Processing (Workshop)

Rewriting

Abstract State Machines (Seminar)

Rewriting Mini-Course

Rewriting (Seminar)

Methods and Formal Models

Program Verification

Termination

Internet Search (Workshop)

Calendrical Calculations (Workshop)

Discrete Mathematics

Software Errors