El master's degree in Pure and Applied Logic (máster universitario en Lógica Pura y Aplicada), coordinado por la Universitat de Barcelona (UB) y con la participación de la UPC, proporciona una sólida base en el ámbito de la lógica avanzada, pura y aplicada. El programa del máster abarca áreas muy diversas que van desde la lógica y las aplicaciones matemáticas hasta la informática, la inteligencia artificial y la lingüística computacional. Además, ofrece dos asignaturas de fundamentos para quienes necesiten una introducción básica a la lógica o a las matemáticas.