CALENDAR AND SCHEDULES OF THE COURSES

Course	Time	Beginning of the course	Campus	Room
SEMESTER 1 (Autumn-Winter 2012-2013) Classes from September 2012 to January 2013
Computability	M, J: 10-11:30	September 18th	campus Nord	S215, floor S2 (underground) Omega building
Basic Set Theory	M, J: 15-16:30	September 18th	Raval	410
Introduction to Mathematical Logic	M, J: 11:30-13	September 18th	campus Nord	S215, floor S2 (underground) Omega building
Non-Classical Logics	M, J: 16:30-18	September 18th	Plaça	S2
Orders, Lattices and Boolean Algebras	L: 9-10:15 X: 8:45-10	September 26th	Plaça	S2
Universal Algebra	L, X: 16-17:30	September 26th	Plaça	IF (courtyard of Sciences, ground floor close to B5)
SEMESTER 2 (Winter-Spring 2013) Classes from February 2013 to June 2013
Algebraic Logic	M: 17-19, X: 17-18	February 12th	Raval	410
Basic Model Theory	M, J: 12-13:30	February 12th	campus Nord
Combinatorial Set Theory	L, X: 10-11:30	February 11th	Raval	412
Mathematical Logic	M, J: 9:30-11	February 12th	Raval	411
The Development of Formal Logic	X, V: 12-13:30	February 13th	Raval	410
Proof Theory and Automated Theorem Proving	X: 18-19:30 V: 9-10:30	February 11th	Raval	412
SEMESTER 3 (Autumn-Winter 2013-2014) Classes from September 2013 to January 2014
Advanced Model Theory	M, J: 9-10:30	September 17th	Raval	411
Many-Valued Logics	M, J: 16-17:30	September 17th	Plaça	S2
Modal Logic	X: 16-17:30, V: 9-10:30	September 18th	Raval	411
Models of Set Theory	L, X: 10-11:30	September 16th	Raval	411
SEMESTER 4 (Winter-Spring 2014) Classes from February 2014 to June 2014
Abstract Algebraic Logic	M, J: 12-13:30		Raval	411
Complexity	TBA		TBA	TBA

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 Omega building: North campus of the Technical University of Catalonia, UPC (map; photo) 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)