Information for the student – Pure and Applied Logic (biennial)

NAME	AFFILIATION	SPECIALIST FIELD	CONTACTE
Albert Atserias	DCS (UPC)	Computational Complexity, Finite Model Theory	atserias@cs.upc.edu
Joan Bagaria	ICREA-M (UB)	Set Theory	joan.bagaria@icrea.es
Enrique Casanovas	DMiL (UB)	Model Theory	e.casanovas@ub.edu
Rafel Farré	MA (UPC)	Model Theory	rafel.farre@upc.edu
Joan Gispert	DMiL (UB)	Algebraic Logic, Non-Classical Logics	jgispertb@ub.edu
Ramon Jansana	DF (UB)	Algebraic Logic, Non-Classical Logics	jansana@ub.edu
Joost J. Joosten	DF (UB)	Modal Logic, Proof Theory	jjoosten@)ub.edu
Juan Carlos Martínez	DMiL (UB)	Set Theory	jcmartinez@ub.edu
José Luís Balcazar	DCS (UPC)	Logic in Data Mining	jose.luis.balcazar@upc.edu

ICREA: Catalan Institute of Advanced Research and Studies

DF: Department of Philosophy (UB)

DMiL: Department of Mathematics and Computer Science (UB)

DMA: Department of Mathematics (UPC)

DCS: Computer Science Department

UB: University of Barcelona

UPC: Technical University of Catalonia

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