Semestre Invierno 2004-2005

Para todos los interesados en las materias que curso este semestre, he aquí un listado (pongo los nombres en inglés para evitar problemas de traducción):
- Logic
- Complexity Theory
- Computer Algebra
- Foundations of Logic Programming
- Logic Programming Engineering
- Combinatorics and Analysis of Algorithms
- Syntax Directed Semantics
- Provable Program Correctness
- Automata and Logic

y todavía está por verse si tomo Formal Models of Concurrency (hoy lo decido, en una hora es mi clase).
Además, durante el semestre voy a tomar:
- Science of Computational Logic
- Foundations of Constraint Programming
y otra materia de incertidumbre, de cuyo nombre no puedo acordarme.
Todo parece indicar que lo poco de cordura que aún tenía está por desaparecer.