Computational Models

Advanced Computational Models

Natural Language Processing

Rewriting

Rewriting Mini-Course

Methods and Formal Models

Program Verification

Termination

Discrete Mathematics

Digital Humanities (Seminar)

Ethics (Seminar)

Rewriting (Seminar)

Computability (Seminar)

Abstract State Machines (Seminar)

Natural Language Processing (Seminar)

Machine Translation (Seminar)

Computation for the Humanities (Advanced Research Seminar)

Logic and Computer Science (Advanced Research Seminar) (Previous years)

Natural Language Processing (Workshop)

Internet Search (Workshop)

Calendrical Calculations (Workshop)

Scientific Writing

Software Errors