The Winter 2013-2014 CISC 454 is <a href="http://watkins.cs.queensu.ca/~jstewart/454/">here</a>.