LECTURERS

Name	Affiliation	Specialist Field
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

	Affiliation
	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:

• Algorithms, Bioinformatics, Complexity and Formal Methods
   
• Artificial Intelligence
   
• Research Group on Non-Classical Logics
   
• Approximate reasoning and soft computing
   
• Barcelona Research Group on Set Theory
   
• Research Group on Model Theory