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

SEMESTER 1 (AutumnWinter
20102011)
Classes from September 2010 to January 2011 
Computability 
L, X: 1011:30 
September 20th 
campus Nord 

Basic Set Theory 
M, J: 11:3013 
September 16th 
Rabal 
410 
Introduction to Mathematical Logic 
L, X: 1213:30 
September 15th 
campus Nord 

NonClassical Logics 
M, J: 16:3018 
September 28th 
Plaça 
S1 
Orders, Lattices and Boolean Algebras 
L, X: 1617:30 
September 20th 
Rabal 
411 

Universal Algebra 
M, J: 910:30 
September 14th 
Plaça 
S1 


SEMESTER 2 (WinterSpring
2011)
Classes from February 2011 to June 2011 
Algebraic Logic 
X, V: 1213,30 

Plaça 
S1 
Basic Model Theory 
M, J: 1213:30 



Combinatorial Set Theory 
L, X: 9:3011 

Raval 
410 
Mathematical Logic 
M, J: 9:3011 

Raval 
410 
The Development of Formal Logic 
L: 11:3013:30 

Raval 
410 


SEMESTER 3 (AutumnWinter 20112012)
Classes from September 2011 to January 2012 
Abstract Algebraic Logic 
L: 1314;
X: 1214 
September 26th 
Plaça 
T2 
Advanced Model Theory 
M, J: 9:3011 
September 13th 
Raval 
411 
Complexity 
M, J: 911 
September 20th 
campus Nord, Facultat de Matemàtiques i Estadística (FME), UPC 
100 

Automated Theorem Proving 
M, J: 1213:30 
September 20th 
Plaça 
S2 
ManyValued Logics 
L, X: 1618 
September 19th 
Plaça 
B2 
Modal Logic 
J: 17:3019
V:12:3014 
September 22th 
Raval 
412 
Models of Set Theory 
L, X: 1011:30 
September 19th 
Raval 
412 
Philosopy of Mathematics 
M: 11:3013:30 
September 20th 
Raval 
412 
Substructural Logics and Computational Linguistics 
J: 1112;
V: 1011:45 
September 22th 
campus Nord 
D6004 


SEMESTER 4 (WinterSpring 2012)
Classes from February 2012 to June 2012 
Categorical Logic 




Logics and Artificial Intelligence 




Proof Theory 




The Development of Formal Logic 







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 
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) 


