Courses at McGill

McGill offers a wide variety of undergraduate and graduate courses on foundations of programming languages, type systems, logic, and theorem proving. (NB: Links to course websites, if available, may point to websites for previous terms' incarnations of the courses.)

Computer Science Courses

Courses of Interest in Other Departments

Logical Frameworks

Automated Theorem Proving