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

SEMESTER 1 (AutumnWinter
20122013)
Classes from September 2012 to January 2013 
Computability 
M, J: 1011:30 
September 18th 
campus Nord 
S215, floor S2 (underground) Omega building 

Basic Set Theory 
M, J: 1516:30 
September 18th 
Raval 
410 
Introduction to Mathematical Logic 
M, J: 11:3013 
September 18th 
campus Nord 
S215, floor S2 (underground) Omega building 
NonClassical Logics 
M, J: 16:3018 
September 18th 
Plaça 
S2 
Orders, Lattices and Boolean Algebras 
L: 910:15
X: 8:4510 
September 26th 
Plaça 
S2 
Universal Algebra 
L, X: 1617:30 
September 26th 
Plaça 
IF (courtyard
of Sciences,
ground floor
close to B5) 


SEMESTER 2 (WinterSpring
2013)
Classes from February 2013 to June 2013 
Algebraic Logic 
M: 1719,
X: 1718 
February 12th 
Raval 
410 
Basic Model Theory 
M, J: 1213:30 
February 12th 
campus Nord 

Combinatorial Set Theory 
L, X: 1011:30 
February 11th 
Raval 
412 
Mathematical Logic 
M, J: 9:3011 
February 12th 
Raval 
411 
The Development of Formal Logic 
X, V: 1213:30 
February 13th 
Raval 
410 
Proof Theory and Automated Theorem Proving 
X: 1819:30
V: 910:30 
February 11th 
Raval 
412 


SEMESTER 3 (AutumnWinter 20132014)
Classes from September 2013 to January 2014 
Advanced Model Theory 
M, J: 910:30 
September 17th 
Raval 
411 
ManyValued Logics 
M, J: 1617:30 
September 17th 
Plaça 
S2 
Modal Logic 
X: 1617:30,
V: 910:30 
September 18th 
Raval 
411 
Models of Set Theory 
L, X: 1011:30 
September 16th 
Raval 
411 


SEMESTER 4 (WinterSpring 2014)
Classes from February 2014 to June 2014 
Abstract Algebraic Logic 
M, J: 1213:30 

Raval 
411 
Complexity 
TBA 

TBA 
TBA 



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) 


