The Master's Degree in Pure and Applied Logic is an interuniversity graduate program coordinated by the University of Barcelona (UB) in partnership with the Technical University of Catalonia (UPC) and with the participation of the Artificial Intelligence Research Institute (IIIA-CSIC). It offers advanced, rigorous training in both pure and applied logic, combining foundational courses in main logic areas with a flexible structure that allows students to design a personalized pathway by selecting from a wide range of advanced subjects such as algebraic logic, model theory, computability, and proof theory. The program fosters research skills, problem solving, and analytical abilities suitable for careers in academia, research, and sectors such as technology and finance. Teaching is delivered in English, with practical experience available through placements and research. The faculty comprises internationally recognized experts in logic. 来源： https://www.ub.edu/masterlogic/