Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MASTER IN PURE AND APPLIED LOGIC      2010 – 2012 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
Admission procedures
Academic calendar
Other activities
Doctorate (PhD)
News
Related links
2006–2008 edition
2008–2010 edition
 
 
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 LSI (UPC) Computational Complexity, Finite Model Theory
Calixto Badesa LHFC (UB) History of Logic
Joan Bagaria ICREA - LHFC (UB) Set Theory
José Luis Balcázar LSI (UPC) Computational Complexity
Maria Lluïsa Bonet LSI (UPC) Computational Complexity, Proof Theory
Félix Bou PLiE (UB) Modal Logic
Enrique Casanovas LHFC (UB) Model Theory
Pilar Dellunde FIL (UAB) Model Theory
Raimon Elgueta MA (UPC) Algebraic Logic, Categorical Logic
Francesc Esteva IIIA (CSIC) Fuzzy Logics and Artificial Intelligence
Rafel Farré MA (UPC) Model Theory
Josep Maria Font PLiE (UB) Algebraic Logic, Non-Classical Logics
Pere Garcia IIIA (CSIC) Fuzzy Logics and Artificial Intelligence
Joan Gispert PLiE (UB) Algebraic Logic, Non-Classical Logics
Ignasi Jané LHFC (UB) Philosophy of Mathematics
Ramon Jansana LHFC (UB) Algebraic Logic, Non-Classical Logics
Joost J. Joosten LHFC (UB) Modal Logic, Proof Theory
Juan Carlos Martínez PLiE (UB) Set Theory
Glyn Morrill LSI (UPC) Computational Linguistics
Antoni Torrens PLiE (UB) Algebraic Logic, Non-Classical Logics
Ventura Verdú PLiE (UB) Algebraic Logic, Non-Classical Logics
Imatge de diagramaci
Imatge de diagramaci

     
  Affiliation
Imatge de diagramaci
  CSIC    Spanish Scientific Research Council
  FIL    Department of Philosophy (UAB)
  ICREA    Catalan Institute of Advanced Research and Studies
  IIIA    Artificial Intelligence Research Institute (CSIC)
  LHFC    Department of Logic, History and Philosophy of Science (UB)
  LSI    Software Department, UPC (UPC)
  MA    Department of Applied Mathematics II (UPC)
  PLiE    Department of Probability, Logic and Statistics (UB)
  UAB    Universitat Autònoma de Barcelona
  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: Josep Maria Font
Last updated: 16/11/11