Master's degree in Pure and Applied Logic
Barcelona School of Informatics (FIB)
The master's degree in Pure and Applied Logic (master's degree website), coordinated by the Universitat de Barcelona (UB) and with the UPC as a participant, provides a solid background in advanced logic, both pure and applied. Its courses cover a wide variety of areas, from mathematical logic and applications to computer science, artificial intelligence and computational linguistics. In addition, two foundation courses are offered to students who require a basic introduction to logic or mathematics.