- Borsuk-Ulam's Theorem and applications (e.g., Kneser-Lovász Theorem).
- Basic theory of simplicial and cellular complexes: simplicial homology, homotopy type.
- Methods for computing the homology or homotopy type of a complex: discrete Morse theory, nerves, poset maps, long exact sequences ...
- Group actions on complexes.
- The evasiveness conjecture and the prime power proof of Kahn-Saks-Sturtevant.
Further topics might be covered during the student seminars.