COSC 450 - Theory Seminar

This course introduces in depth a current topic of interest in computer science theory. Past seminars have focuses on a wide variety of topics in the theory of computation and the semantics of programming languages. These have included denotational semantics, type theory, category theory, operational semantics, and advanced functional programming. During the second half of the term, students work in teams on various projects related to the seminar topic and present their findings at the end of the term.

Credits: 1.00
Corequisite: COSC 450L
Prerequisites: COSC 304
Major/Minor Restrictions: None
Class Restriction: None
Area of Inquiry: Natural Sciences & Mathematics
Liberal Arts CORE: None

Click here for Course Offerings by term