Colgate University Computer Science Department

The COSC 450 course is a seminar that introduces in depth some topic in computer science theory. Past seminars have focused on a wide variety of topics in the theory of computation and the semantics of programming languages. Past topics have included: denotational semantics, type theory, category theory, operational semantics, and advanced functional programming. Throughout the second half of the semester students work in teams on various projects related to the seminar topic, and present their findings at the end of the term. In the required credit-bearing weekly two-hour laboratory, students acquire experience experimenting with and implementing the concepts introduced in the lecture.

Format: Lecture and two-hour laboratory.

Prerequisites: COSC 304 or permission of the instructor

COSC Course Offerings for Spring 2008