Spring Semester COM1002: Foundations of Computer Science Spring Semester COM3190/COM6116: Theory of Distributed Systems
Full details can be found on MOLE.