AAGA : Analyse d'Algorithmes et Génération Aléatoire
DAAR : Développement des Algo. d'Application Réticulaire
GPSTL : Gestion de Projet STL
OIP : Orientation et Insertion Professionnelles STL
PPC : Paradigmes de Programmation Concurrente
TAS : Typage et Analyse Statique