LECTURERS

Name	Affiliation	Specialist Field
Albert Atserias	DCS (UPC)	Computational Complexity, Finite Model Theory
Joan Bagaria	ICREA - DMiI (UB)	Set Theory
Enrique Casanovas	DMiI (UB)	Model Theory
Rafel Farré	DMA (UPC)	Model Theory
Joan Gispert	DMiI (UB)	Algebraic Logic, Non-Classical Logics
Ramon Jansana	DF (UB)	Algebraic Logic, Non-Classical Logics
Joost J. Joosten	DF (UB)	Modal Logic, Proof Theory
Paolo Maffezioli	DF (UB)	History of Logic, Philosophy of Logic
Juan Carlos Martínez	DMiI (UB)	Set Theory
Antoni Torrens	DMiI (UB)	Algebraic Logic, Non-Classical Logics

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

• 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