Courses 2024/2025
current
Subjects:
- ET4-CMP : Introduction a la compilation (Génie Logiciel Avancé)
- L3-GLA : Advanced Software Engineering (Génie Logiciel Avancé)
- M1-MPRI-IPA : Introduction to Proof Assistants (TENTATIVE)
- L3-PROJ-GL : Software Engineering Project (Génie Logiciel Avancé) (TENTATIVE)
- PolyTech : Verification and Validation ("Vérification et Validation") (TENTATIVE)
Courses 2023/2024
past
Subjects:
Courses 2022/2023
past
Subjects:
Courses 2021/2022
past
Subjects:
Courses 2020/2021
past
Subjects:
Courses 2019/2020
Subjects:
- L3-GLA : Advanced Software Engineering (Génie Logiciel Avancé)
- M2-FIIL-PIA : Preuves Interactives et Applications
- L3-PROJ-GL : Software Engineering Project (Génie Logiciel Avancé)
- PolyTech : Verification and Validation ("Vérification et Validation")
- PolyTech : Verification du Logiciel (APPRENTISSAGE) ("Software Testing")
Courses 2018/2019
till now
Subjects:
Courses 2017/2018
till now
Subjects:
Courses 2015/2016
till now
Subjects:
- Isabelle Tutorial
- M2-FIIL-TestConf : Test de Conformité
- L3-GLA : Advanced Software Engineering (Génie Logiciel Avancé)
- L3-PROJ-GL : Software Engineering Project (Génie Logiciel Avancé)
- M2-CSMR : Preuves Interactives et Applications
- PolyTech : Verification and Validation ("Vérification et Validation")
Courses 2014/2015
till now
Subjects:
- Isabelle Tutorial
- L3-GLA : Advanced Software Engineering (Génie Logiciel Avancé)
- L3-PROJ-GL : Software Engineering Project (Génie Logiciel Avancé)
- M2R-TSI : Test des Systemes Informatiques
- M2R-NSI (Tronc Comun) : Virtualization
- PolyTech : Verification and Validation ("Vérification et Validation")
- L2-POnGL : Object-oriented Programming and Software Engineering ("Programmation Objet et Génie Logiciel")