Courses and Links

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

Related Courses

Logical Frameworks

Automated Theorem Proving