Cours offerts

Des cours en logique et en langages de programmation sont prévus pour les sessions suivantes à l’UQAM, à l’Université de Montréal et à l’Université McGill.

Légende

• INFnnnn: cours offert par le Département d’informatique de l’UQAM.
• COMP nnn: cours offert par le Département d’informatique de l’Université McGill.
• (1), (2), (3): le cours est offert au premier, deuxième ou troisième cycle.

Veuillez noter que les cours aux cycles supérieurs acceptent souvent les inscriptions de personnes étudiantes du premier cycle. Veuillez consulter le descriptif du cours et les règlements de votre programme pour en savoir plus.

La plupart des sessions

• INF6120: Programmation fonctionnelle et logique (1)

Automne 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)

Hiver 2026

• INF889A: Analyse de programmes pour la sécurité logicielle (2,3)
• INF9340: Logique computationnelle (3)
• COMP 527: Logic and Computation (1,2,3)

Automne 2026

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

Hiver 2027

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