CALENDAR AND SCHEDULES OF THE COURSES

Course	Time	Beginning of the course	Campus	Room
SEMESTER 1 (Autumn-Winter 2014-2015) Classes from September 2014 to January 2015
Computability	M, J: 15,30-17	September 16th	campus Nord	A6103
Basic Set Theory	M, J: 12:30-14	September 16th	Raval	410
Introduction to Mathematical Logic	L: 12-13:30 V: 16-17:30	September 15th	campus Nord	A6-205
Non-Classical Logics	L, X: 8:30-10	September 22th	Plaça	IMUB
Orders, Lattices and Boolean Algebras	M, J: 11-12:30	September 23th	Raval	410
Universal Algebra	L, X: 16-17:30	September 22th	Plaça	S1
SEMESTER 2 (Winter-Spring 2015) Classes from February 2015 to June 2015
Algebraic Logic	L, X: 12-13:30	February 16	Plaça	B7
Basic Model Theory	L, V: 16-17,30	February 9	campus Nord	A5 203
Combinatorial Set Theory	L, X: 10-11:30	February 9	Raval	410
Mathematical Logic	M, J: 9-10:30	February 10	Raval	410
Modal Logic	X: 18-19:30 V: 12-13:30	February 18	Raval	410
The Development of Formal Logic	M: 10:30-12,30 J: 10:30-11:30	February 10	Raval	410
SEMESTER 3 (Autumn-Winter 2015-2016) Classes from September 2015 to January 2016
Abstract Algebraic Logic	M: 12-13:30 J: 10:30-12	September 22	Raval	411
Advanced Model Theory	L, X: 9-10:30	September 16	Plaça	S2
Many-Valued Logics	L, X: 17-18:30	September 21	Plaça	S2
Proof Theory and Automated Theorem Proving	X: 15-16:30 J: 12:30-14	September 16	Raval	411
SEMESTER 4 (Winter-Spring 2016) Classes from February 2016 to June 2016
Models of Set Theory	L, X: 10-11:30	February	Raval	412
Complexity	M, J: 8-10	February 6	campus Nord	A5103

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)