LECTURERS

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

	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