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

SEMESTER 1 (AutumnWinter
20142015)
Classes from September 2014 to January 2015 
Computability 
M, J: 15,3017 
September 16th 
campus Nord 
A6103 
Basic Set Theory 
M, J: 12:3014 
September 16th 
Raval 
410 
Introduction to Mathematical Logic 
L: 1213:30
V: 1617:30 
September 15th 
campus Nord 
A6205 
NonClassical Logics 
L, X: 8:3010 
September 22th 
Plaça 
IMUB 
Orders, Lattices and Boolean Algebras 
M, J: 1112:30 
September 23th 
Raval 
410 
Universal Algebra 
L, X: 1617:30 
September 22th 
Plaça 
S1 


SEMESTER 2 (WinterSpring
2015)
Classes from February 2015 to June 2015 
Algebraic Logic 
L, X: 1213:30 
February 16 
Plaça 
B7 
Basic Model Theory 
L, V: 1617,30 
February 9 
campus Nord 
A5 203 
Combinatorial Set Theory 
L, X: 1011:30 
February 9 
Raval 
410 
Mathematical Logic 
M, J: 910:30 
February 10 
Raval 
410 
Modal Logic 
X: 1819:30
V: 1213:30 
February 18 
Raval 
410 
The Development of Formal Logic 
M: 10:3012,30
J: 10:3011:30 
February 10 
Raval 
410 


SEMESTER 3 (AutumnWinter 20152016)
Classes from September 2015 to January 2016 
Abstract Algebraic Logic 
M: 1213:30
J: 10:3012 
September 22 
Raval 
411 
Advanced Model Theory 
L, X: 910:30 
September 16 
Plaça 
S2 
ManyValued Logics 
L, X: 1718:30 
September 21 
Plaça 
S2 
Proof Theory and Automated Theorem Proving 
X: 1516:30
J: 12:3014 
September 16 
Raval 
411 


SEMESTER 4 (WinterSpring 2016)
Classes from February 2016 to June 2016 
Models of Set Theory 
L, X: 1011:30 
February 
Raval 
412 
Complexity 
M, J: 810 
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) 


