\section*{University of Iowa}
The Department of Computer Science incorporates aspects of
parallelism into its Operating Systems and Introduction to System
Software courses.
In addition, the following graduate-level course is offered.

\begin{itemize}
\item 22C:132: Parallel Programming.

The goal of this course is to teach
students the current methodology for parallel program development
and to present the reasoning logics (such as temporal) about the correctness 
of parallel programs. 

\end{itemize}
