In this course, we focus on concurrent programming in the object oriented language Java. The course consists of three main parts. In the first part, we discuss concurrent programming in general. In the second part, we concentrate on writing concurrent programs in Java. In the thrid and final part, we look at techniques and tools to verify concurrent Java programs.

• Section A: Mondays and Fridays, 11:00am - 12:00pm, CSE 111