The Master’s degree in Pure and Applied Logic focuses on advanced logic, with topics that range from logic and mathematical applications to computer science, artificial intelligence, and computational linguistics. The program also includes two foundation courses for students who need a basic introduction to logic or mathematics.
The degree is coordinated by the Universitat de Barcelona, with participation from Universidad Politècnica de Catalunya. It runs as 1.5 academic terms with 90 ECTS and is taught in the Faculty of Informatics of Barcelona and partner faculties of the Universitat de Barcelona. Classes take place in the morning and afternoon through in-person study, and the teaching language is English.