La théorie des langages (connue en anglais sous le nom de Programming Language Theory ou PLT) est un domaine de l'informatique qui s'occupe de concevoir, mettre en œuvre, analyser, caractériser et classer les langages formels utilisés pour la programmation.
- Enseignant: AOUIN MOHAMED