Links
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
- COMP 230: Logic and Computability (course website)
- COMP 302: Programming Languages and Paradigms (course website)
- COMP 523: Language-based Security (course website)
- COMP 524: Theoretical Foundations of Programming Languages
- COMP 525: Formal Verification (course website)
- COMP 527: Logic and Computation
- COMP 627: Theoretical Programming Languages
- COMP 762: Advanced Topics Programming 1 (Computation and Deduction) (course website)
Courses of Interest in Other Departments
- MATH 318: Mathematical Logic (course website)
- PHIL 310: Intermediate Logic (course website)
- PHIL 685: Fundamentals of Logic
Logical Frameworks
Automated Theorem Proving
- TPTP Problem Library
- ILTP Problem Library
- Roy Dyckhoff's benchmark formulas for intuitionistic propositional logic