Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2020 – 2022 Imatge de diagramaci
Català Castellano  English Imatge de diagramaci Interuniversity Master  UB UPC Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Introduction
Course requirements and academic structure
Lecturers
Courses
Academic calendar
Doctorate (PhD)
Related links
2006–2008 edition
2008–2010 edition
2010–2012 edition
2012–2014 edition
2014–2016 edition
2016–2018 edition
2018–2020 edition
2020-22 Admissions procedure
 
 
Icona d'informaci For further
information
please contact

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

LECTURERS

Name Affiliation Specialist Field
Imatge de diagramaci
Albert Atserias DCS (UPC) Computational Complexity
Joan Bagaria ICREA - DMiI (UB) Set Theory
Jose Luis Balcázar DCS (UPC Logic in data Mining
Enrique Casanovas DMiI (UB) Model Theory
Rafel Farré DMA (UPC) Model Theory
Joan Gispert DMiI (UB) Many Valued Logics
Ramon Jansana DF (UB) Algebraic Logic, Non-Classical Logics
Joost J. Joosten DF (UB) Proof Theory and Automated Theorem Proving
Juan Carlos Martínez DMiI (UB) Proof Theory and Automated Theorem Proving
Tommaso Moraschini DF (UB) Abstract Algebraic Logic
Imatge de diagramaci
Imatge de diagramaci

     
  Affiliation
Imatge de diagramaci
     
  DF    Department of Philosophy (UB)
  ICREA    Catalan Institute of Advanced Research and Studies
  DCS    Computer Science Department (UPC)
  DMA    Department of Mathematics (UPC)
  DMiI    Department of Mathematics and Computer Science (UB)
  UB    University of Barcelona
  UPC    Technical University of Catalonia
     
     
     

 

Research groups

All the course lecturers are active researchers in some of the leading research groups in their field:

 

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © University of Barcelona Webmaster: Francisco Murcia
Last updated: 18/10/21