The University of Waterloo is a wonderful place to conduct research in Theoretical Computer Science. The remarkable breadth of TCS research conducted in the Faculty of Mathematics by the A&C group, as well as the Combinatorics & Optimization, Cyptography and Symbolic Computation groups, coupled with active research groups in Pure Mathematics, Statistics and the Institute for Quantum Computing makes Waterloo an exciting place for exploring the limits of computation.
If you are interested in applying to Waterloo, please see the graduate studies section in this page
The Algorithms & Complexity group runs a weekly seminar, and students in the group run their own reading group. The schedule for both is below.