• Introduction aux systèmes d’exploitation (IS1), Dominique Poulalhon, https://moodle.u-paris.fr/enrol/instances.php?id=1627
• Principes de fonctionnement des machines binaires (PF1), Matthieu Picantin, https://moodle.u-paris.fr/enrol/index.php?id=1629
• Introduction à la programmation fonctionnelle, (IPF), Hugo Férée & Adrien Guatto, https://www.irif.fr/users/feree/ipf

• Initiation à la Programmation 2, Giulio Manzonetto, https://www.irif.fr/~gmanzone/teaching.html

• Gestion pédagogique: https://moodle.u-paris.fr/course/view.php?id=11061
• EA3 / Elements d'algorithmique 1, Enrica Duchi, https://moodle.u-paris.fr/course/view.php?id=1634
• Conduite de projet, Julien Narboux, https://moodle.u-paris.fr/course/view.php?id=1630
• Automate et analyse lexicale, Ralf Treinen, https://moodle.u-paris.fr/enrol/index.php?id=1638
• Programmation Orientée Objet, Cristina Boura, https://moodle.u-paris.fr/enrol/index.php?id=1631

- Outils logiques, https://moodle.u-paris.fr/enrol/index.php?id=1636

• Algorithmique (AL5), Matěj Stehlik, https://moodle.u-paris.fr/course/view.php?id=1646
• Programmation fonctionnelle (PF5), Delia Kesner, https://www.irif.fr/~kesner/enseignement/licence/pf/
• Compléments de programmation orientée objet (CPOO5), Aldric Degorre, https://moodle.u-paris.fr/course/view.php?id=1650#section-1
• Logique (LO5), Sylvain Schmitz, https://www.irif.fr/~schmitz/teach/2023_lo5/, https://moodle.u-paris.fr/course/view.php?id=1657
• Projet de programmation OCaml (PPO5), Julien Narboux, https://moodle.u-paris.fr/course/view.php?id=51964

• Bases de Données BD6, Amélie Gheerbrant, https://www.irif.fr/~amelie/BD.html (également IF16Y020 Bases de Données https://moodle.u-paris.fr/course/view.php?id=1655)

• Algorithmique, François Laroussinie, https://www.irif.fr/~francoisl/m1algo.html
• Protocoles réseaux, Giulio Manzonetto, https://moodle.u-paris.fr/course/view.php?id=28492
• Automates avancés et applications (AAA7), Sylvain Schmitz, https://moodle.u-paris.fr/course/view.php?id=28507
• Programmation logique et par contraintes, Peter Habermehl, https://www.irif.fr/~haberm/cours/clp
• Programmation de composants mobiles, Eugène Asarin, https://moodle.u-paris.fr/course/view.php?id=10712
• Calculabilité et complexité, Hugo Férée et Valia Mitsou, https://www.irif.fr/users/feree/calculabilite-complexite
• Langage Objet Avancé - C++, Yan Jurski, https://moodle.u-paris.fr/course/view.php?id=10710

• Ingénierie des Protocoles, Stephane Maag, https://www-public.imtbs-tsp.eu/~maag/P7/