CALENDAR AND SCHEDULES OF THE COURSES

When do classes begin ?
 

Course	Time	Campus	Room
SEMESTER 1 (Autumn-Winter 2008-2009) Classes from September 2008 to January 2009
Abstract Algebra	X, V: 10:10-11 // M: 12:10-13	Plaça	B6
Basic Algebra		Sud
Basic Set Theory	M: 12–14, J: 9-10	Raval	410
Introduction to Mathematical Logic	L, J: 12–14	Sud	103
Non-Classical Logics	L, J: 16–17:30	Plaça	L:S3, J:S1
Order, Lattices and Boolean Algebras	M, X: 16–17:30	Raval	411
Universal Algebra	L, M: 9–10:30	Plaça	B2
SEMESTER 2 (Winter-Spring 2009) Classes from February 2009 to June 2009
Abstract Algebra		Plaça
Algebraic Logic	M,J: 15:30–17	Plaça	S1
Basic Model Theory	L: 15-17, V: 10-12	Sud	103
Combinatorial Set Theory	M, J: 12:30–14	Raval	410
Computability	L, V: 12–14	Sud	A005
Mathematical Logic	M, J: 11–12:30	Raval	410
SEMESTER 3 (Autumn-Winter 2009-2010) Classes from September 2009 to January 2010
Advanced Model Theory	M: 11–13, J: 11–12	Raval	410
Complexity		Nord
Many-Valued Logics	L, X: 16:30–18	Plaça	S3
Modal Logic	M, J: 16–17:30	Raval	410
Models of Set Theory	L, X: 10–11:30	Raval	410
Philosopy of Mathematics	J: 12–14	Raval	410
Substructural Logics and Computational Linguistics		Nord
SEMESTER 4 (Winter-Spring 2010) Classes from February 2010 to June 2010
Abstract Algebraic Logic	L, X: 10:30–12	Plaça
Automated Theorem Proving		Plaça
Categorical Logic
Logics and Artificial Intelligence		UAB
Proof Theory
The Development of Formal Logic		Raval

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)