Advanced topics in theoretical computer science. The selection of topics varies from year to year. Areas may include, but are not limited to, denotational semantics, complexity theory, recursion theory, and discrete algorithms.
Not offered on a regular basis.