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 #

• INF6120: Programmation fonctionnelle et logique (1)

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)

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 2026 #

• INF889J: Fondements pratiques des langages de programmation (2,3)

Winter 2027 #

• INF7641: Compilation (2,3)
• COMP 527: Logic and Computation (1,2,3) OR COMP 523: Language-based security (1,2,3)