\section*{University of Idaho}
The Computer Science Department incorporates aspects of parallelism
into its graduate-level course in computational complexity.
In addition, the following course is offered.
\begin{itemize}
\item CS 413/513: Concurrent Systems.

This is a joint undergraduate/graduate course which serves as a survey
of the computational issues surrounding concurrency.
The focus of the course is on the application of
formal methods to the programming of concurrent systems.
Topics include
the basics of parallel architecture, issues in distributed computing
(e.g., mutual exclusion, termination detection, and readers-writers),
and parallelization.
\end{itemize}
