Courses

Courses on logic and programming languages are planned for the following semesters at UQAM, the University of Montreal and McGill University:

Fall 2025

• INF6120: Programmation fonctionnelle et logique

Winter 2026

• INF9340: Logique computationnelle

Fall 2026

• INF889J: Fondements pratiques des langages de programmation

Winter 2027