
CALENDAR AND SCHEDULES OF THE COURSES
Course 
Time 
Beginning of the course 
Campus 
Room 

SEMESTER 1 (AutumnWinter
20162017)
Classes from September 2016 to January 2017 
Computability 
L, X: 1112:30 
September 12
 Nord 
A6101 
Basic Set Theory 
M, J: 1213:30 
September 15 
Plaça 
B7 
Introduction to Mathematical Logic 
L, X: 12:3014 
September 12 
Nord 
A6101 
NonClassical Logics 
L, X: 8:3010 
September 19 
Plaça 
B2 
Orders, Lattices and Boolean Algebras 
M, J: 1011:30 
September 20 
Raval 
411 
Universal Algebra 
M, J: 1617:30 
September 20 
Plaça 
S2 


SEMESTER 2 (WinterSpring
2017)
Classes from February 2017 to June 2017 
Algebraic Logic 
M, J: 1618 
February 14 
Raval 
409 
Basic Model Theory 
L, X: 12:3014 
February 13 
Nord 
A6104 
Combinatorial Set Theory 
M, J: 10:3012 
February 14 
Plaça 
S2 
Mathematical Logic 
M, J: 12:3014 
February 14 
Plaça 
S2 
Modal Logic 
M, X: 18:3020 
February 14 
Raval 
409 
The Development of Formal Logic 
L: 9:3010:30
X: 9:3011:30 
February 13 
Raval 
411 
Complexity 
L, V: 1214 
February 13 
Nord 
A6101 


SEMESTER 3 (AutumnWinter 20172018)
Classes from September 2017 to January 2018 
Abstract Algebraic Logic 
M, J: 12:3014 
September 19 
Raval 
412 
Advanced Model Theory 
M: 911
J: 910 
September 12 
Plaça 
S2 
ManyValued Logics 
L, X: 1011:30 
September 14 
Plaça 
S1 
Models of Set Theory 
L, X: 1213:30 
September 13 
Plaça 
S1 
Proof Theory and Automated Theorem Proving 
M, J: 1112:30

September 19 
Raval 
402 


SEMESTER 4 (WinterSpring 2018)
Classes from February 2018 to June 2018 
Complexity 
M, J: 810 

Nord 
A5203 













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) 


