CALENDAR AND SCHEDULES OF THE COURSES

Course	Time	Beginning of the course	Campus	Room
SEMESTER 1 (Autumn-Winter 2018-2019) Classes from September 2018 to January 2019
Computability	L, X: 11-12:30	September 19	Nord	A6-206
Basic Set Theory	M, J: 12-13:30	September 18	Plaça	S2
Introduction to Mathematical Logic	L: 12:30-14 X: 9:30-11	September 12	Nord	A6-206
Non-Classical Logics	M, J: 8-9:30	September 13	Plaça	S2
Orders, Lattices and Boolean Algebras	M, J: 10-11:30	September 13	Raval	410
Universal Algebra	L, X: 16-17:30	September 13	Plaça	S1
SEMESTER 2 (Winter-Spring 2019) Classes from February 2019 to June 2019
Algebraic Logic	M, J: 16-18	March 12	Raval	412
Basic Model Theory	L, X: 9-11	March 11	Nord	A6-104
Combinatorial Set Theory	M, J: 10:30-12	February 12	Plaça	S2
Mathematical Logic	M, J: 12-13:30	February 12	Plaça	S2
Modal Logic	L: 12:30-14 V: 10-11:30	February 11	Raval	402
The Development of Formal Logic	X, V: 12:30-14	February 13	Raval	402
Complexity	L, J: 12-14	February 11	Nord	A6-104
SEMESTER 3 (Autumn-Winter 2019-2020) Classes from September 2019 to January 2020
Abstract Algebraic Logic	M, J: 12:15-13:45	September 17	Raval	409
Advanced Model Theory	L: 9-10:30, V: 11:30-13	September 13	Plaça	S2
Many-Valued Logics	L: 10:30-12 X: 8-9:30	September 18	Plaça	S2
Models of Set Theory	M, J: 10:30-12	September 12	Plaça	S2
Proof Theory and Automated Theorem Proving
DesdeForm 16 September to 30 October:	L: 12-13:30 X: 11-12:30	September 16	Plaça	S2
DesdeFrom 5 October on:	M: 9-10 X: 11-13	October 5	Raval	409
SEMESTER 4 (Winter-Spring 2020) Classes from February 2020 to June 2020
Complexity

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)