[Phase] - 4TIN615U Logique et Preuve

[Phase] - 4TIN602U Techniques algorithmiques et programmation

[Phase] - 4TIN603U Compilation

[Phase] - Projet de Développement Logiciel

[Phase] - 4TIN606U Epistémologie et Histoire de l'Informatique

[Phase] - Informatique et Société

[Phase] - 4TIN613U Découverte de la recherche scientifique