CALENDAR AND SCHEDULES OF THE COURSES

When do classes begin ?
 

Course	Time	Campus	Room
SEMESTER 1 (Autumn-Winter 2010-2011) Classes from September 2010 to January 2011
Abstract Algebra
Basic Algebra
Basic Set Theory
Introduction to Mathematical Logic
Non-Classical Logics
Order, Lattices and Boolean Algebras
Universal Algebra
SEMESTER 2 (Winter-Spring 2011) Classes from February 2011 to June 2011
Abstract Algebra
Algebraic Logic
Basic Model Theory
Combinatorial Set Theory
Computability
Mathematical Logic
SEMESTER 3 (Autumn-Winter 2011-2012) Classes from September 2011 to January 2012
Abstract Algebraic Logic
Advanced Model Theory
Complexity
Modal Logic
Models of Set Theory
Philosopy of Mathematics
Substructural Logics and Computational Linguistics
SEMESTER 4 (Winter-Spring 2012) Classes from February 2012 to June 2012
Automated Theorem Proving
Categorical Logic
Logics and Artificial Intelligence
Many-Valued Logics
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)