La programación concurrente ha crecido en popularidad durante la última década. Cada lenguaje y plataforma ofrece las primitivas correspondientes, que se han vuelto cada vez más difíciles de utilizar de forma eficiente con el aumento de la complejidad de los sistemas, como los modelos de memoria relajados o las arquitecturas NUMA.En la práctica se plantean varias cuestiones importantes. ¿Cómo creamos algoritmos concurrentes eficientes? ¿Cuál es el mejor compromiso entre las garantías de progreso, la eficacia y la equidad? ¿Cómo comprobamos la corrección de todos estos algoritmos? ¿Cómo los evaluamos? Aunque algunas de las preguntas se han respondido parcialmente en el mundo académico, aún quedan muchos problemas prácticos por resolver. Nuestro objetivo es responder a estas preguntas proporcionando soluciones razonables desde el punto de vista práctico y valiosas desde el punto de vista teórico, junto con herramientas de alta calidad que puedan ayudar a otros investigadores y desarrolladores en el campo de la concurrencia.