-
- computability theory
- computational logic
- logic programming
- typed lambda calculus
- domain theory
- category theory for
computer science
|
-
- Graphs & Posets:
- Tuesday 10:15 - 12:00
- Underground - Complexity:
- Tuesday 10:15 - 11:45
- Cryptography:
- Tuesday 16:15 - 18:00
- Computer Science Foundations:
- Wednesday 12:15 - 14:00
- Theoretical Computer Science:
- Wednesday 16:15 - 18:00
- Algorithmic Aspects of Combinatorics:
- Thursday 16:15 - 18:00
|