Courses
Courses on logic and programming languages are planned for the following semesters at UQAM, the University of Montreal and McGill University.
Legend #
- INFnnnn: course offered by UQAM’s computer science department
- COMP nnn: course offered by McGill’s School of Computer Science
- (1), (2), (3): undergraduate, master’s or doctoral course, respectively.
Please note that graduate courses are often open to undergraduate students, and that doctoral courses are often open to master’s students. Please see the course description and your program’s regulations for more details.
Most sessions #
Fall 2026 #
- INF889J: Fondements pratiques des langages de programmation / INF8340: Sémantique des langages de programmation (2,3) (This course has two course codes for administrative reasons. If you are in a math programme at UQAM, you should register in INF8340 for it to count in your “block C” courses.)
Winter 2027 #
- INF7641: Compilation (2,3)
- COMP 527: Logic and Computation (1,2,3) OR COMP 523: Language-based security (1,2,3)
Past offerings #
Winter 2026 #
- INF889A: Analyse de programmes pour la sécurité logicielle (2,3)
- INF9340: Logique computationnelle (3)
- COMP 527: Logic and Computation (1,2,3)
Fall 2025 #
- INF7845: Principes avancés des langages à objets (2,3)
- COMP 594: Advanced Topics in Programming (Special Topic: Foundations of Programming Languages and Type Theory) (1,2,3)