La programmation concurrente a gagné en popularité au cours de la dernière décennie. Chaque langage et plateforme fournit des primitives correspondantes, qui deviennent de plus en plus difficiles à utiliser efficacement avec l'accroissement de la complexité des systèmes, comme les modèles de mémoire relâchés ou les architectures NUMA. Dans la pratique, plusieurs questions importantes se posent. Comment construire des algorithmes concurrents efficaces ?Quel est le meilleur compromis entre garanties de progrès, efficacité et équité ?Comment vérifier l'exactitude de tous ces algorithmes ?Comment les comparer ?Si certaines de ces questions trouvent partiellement une réponse au niveau académique, de nombreux problèmes pratiques restent en suspens. Notre objectif est de répondre à ces questions en fournissant des solutions raisonnables et théoriquement utiles, ainsi que des outils de haute qualité qui peuvent aider les autres chercheurs et développeurs dans le domaine de la concurrence.