CALENDAR AND SCHEDULES OF THE COURSES

Course	Time	Beginning of the course	Campus	Room
SEMESTER 1 (Autumn-Winter 2010-2011) Classes from September 2010 to January 2011
Computability	L, X: 10-11:30	September 20th	campus Nord
Basic Set Theory	M, J: 11:30-13	September 16th	Rabal	410
Introduction to Mathematical Logic	L, X: 12-13:30	September 15th	campus Nord
Non-Classical Logics	M, J: 16:30-18	September 28th	Plaça	S1
Orders, Lattices and Boolean Algebras	L, X: 16-17:30	September 20th	Rabal	411
Universal Algebra	M, J: 9-10:30	September 14th	Plaça	S1
SEMESTER 2 (Winter-Spring 2011) Classes from February 2011 to June 2011
Algebraic Logic	X, V: 12-13,30		Plaça	S1
Basic Model Theory	M, J: 12-13:30
Combinatorial Set Theory	L, X: 9:30-11		Raval	410
Mathematical Logic	M, J: 9:30-11		Raval	410
The Development of Formal Logic	L: 11:30-13:30		Raval	410
SEMESTER 3 (Autumn-Winter 2011-2012) Classes from September 2011 to January 2012
Abstract Algebraic Logic	L: 13-14; X: 12-14	September 26th	Plaça	T2
Advanced Model Theory	M, J: 9:30-11	September 13th	Raval	411
Complexity	M, J: 9-11	September 20th	campus Nord, Facultat de Matemàtiques i Estadística (FME), UPC	100
Automated Theorem Proving	M, J: 12-13:30	September 20th	Plaça	S2
Many-Valued Logics	L, X: 16-18	September 19th	Plaça	B2
Modal Logic	J: 17:30-19 V:12:30-14	September 22th	Raval	412
Models of Set Theory	L, X: 10-11:30	September 19th	Raval	412
Philosopy of Mathematics	M: 11:30-13:30	September 20th	Raval	412
Substructural Logics and Computational Linguistics	J: 11-12; V: 10-11:45	September 22th	campus Nord	D6004
SEMESTER 4 (Winter-Spring 2012) Classes from February 2012 to June 2012
Categorical Logic
Logics and Artificial Intelligence
Proof Theory
The Development of Formal Logic

L:  Monday (Lunes)    M:  Tuesday (Martes)    X:  Wednesday   (Miércoles)    J:  Thursday (Jueves)    V:  Friday (Viernes)

Nord:  North campus of the Technical University of Catalonia, UPC Plaça:  University of Barcelona, Faculty of Mathematics, Plaça de la Universitat Raval:  University of Barcelona, Faculties of Philosophy, Geography and History, c. de Montalegre, 6 Sud:  South campus of the Technical University of Catalonia, Faculty of Mathematics and Statistics, c. Pau Gargallo, 5 (building U) UAB:  Campus of the Autonomous University of Barcelona, Bellaterra (Building to be determined)