<a href="http://www.cs.washington.edu/education/courses/531/CurrentQtr">CSE 531</a> - Automata (TTh 10:30-11:50) <li>
