====== Théorie et Pratique de la Concurrence ======

==== Etude des problèmes algorithmiques liés à la concurrence : ==== 
algorithmes d’exclusion mutuelle (Dekker, Peterson, Boulangerie,…),  
    * synchronisation de haut et bas niveau: verrous, moniteurs barrières,
    * modèles et preuves d’algorithmes,

==== Programmation concurrente en Java ====

**Prérequis** : notions de base en algorithmique et en Java.