CALENDAR AND SCHEDULES OF THE COURSES

Course	Time	Beginning of the course	Campus	Room
SEMESTER 1 (Autumn-Winter 2022-2023) Classes from September 2022 to January 2023
Computability
Basic Set Theory
Introduction to Mathematical Logic
Non-Classical Logics
Orders, Lattices and Boolean Algebras
Universal Algebra
SEMESTER 2 (Winter-Spring 2023) Classes from February 2023 to June 2023
Algebraic Logic
Basic Model Theory
Combinatorial Set Theory
Mathematical Logic
Modal Logic
Complexity
SEMESTER 3 (Autumn-Winter 2023-2024) Classes from September, 2023, to February, 2024 Continuous assessment: from September, 2023 to February , 2024 One-time assessment: from January, 2024, to February, 2024 Reassessment: February, 2024
Algoritms for VLSI	X: 8-10 V: 12-14	Setembre 13	Nord	A6201
Abstract Algebraic Logic	M, J: 16:30-18	Septiembre 23	Raval	401
Advanced Model Theory	L: 12-14 J: 11-12	September 19	Plaça	L: B2 J: IA
Many-Valued Logics	L: 10:30-12 J: 9,30-11	September 14	Plaça	L: T2 J: S1
Models of Set Theory	M: 12-13:30	September 12	Plaça	B2
Proof Theory and Automated Theorem Proving	M: 11-12 X: 12-14	September 20	Plaça	B1
Proof Theory	X: 15-17 V: 10:30-11:30	September 20	Raval	411
The Development of Formal Logic	M, J: 15-16:30	September 12	Raval	402
SEMESTER 4 (Winter-Spring 2024) Classes from February 2024 to June 2024
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)