CALENDAR AND SCHEDULES OF THE COURSES

When do classes begin ?
 

Course	Time	Campus	Room
SEMESTER 1 (Autumn-Winter 2006-2007) Classes from September 2006 to January 2007
Abstract Algebra	L,X: 17–18, M,J: 15–17	Plaça	B6
Basic Algebra	L,X,V: 10–11	Sud	001
Basic Set Theory	M,J: 12:30–14	Raval	A-402
History of Mathematics	M:11–13, X:10–11, V:10–12	Plaça	B2,B4
Introduction to Mathematical Logic	X: 8–10, J:10–12	Sud	003
Non-Classical Logics	L,X: 10:30–12	Plaça	S2
Order, Lattices and Boolean Algebras	M,J: 15:30–17	Raval	A-402
Universal Algebra	M,J: 9–10:30	Plaça	S2
SEMESTER 2 (Winter-Spring 2007) Classes from February 2007 to June 2007
Abstract Algebra	M: 11–13, X,V: 10–12	Plaça	T1
Algebraic Logic	L,X: 15:30–17	Plaça	S2
Basic Model Theory	M,J: 15–17	Sud	S01
Combinatorial Set Theory	M,J: 10–11:30	Plaça	B2
Computability	L: 10–12, X: 8–10	Sud	004
Mathematical Logic	L: 12:30–14, V: 9:30–11	Raval	A-408
SEMESTER 3 (Autumn-Winter 2007-2008) Classes from September 2007 to January 2008
Abstract Algebraic Logic	L,J: 16–17:30	Plaça	L:S3 , J:S2
Advanced Model Theory	M,J: 12–13:30	Raval	411
Complexity	M,V: 11–14	Nord	A6002
Modal Logic	M: 18–19:30 , J: 16–17:30	Raval	412
Models of Set Theory	M,V: 12–14	Raval	412
Philosopy of Mathematics	M: 16–18	Raval	412
Substructural Logics and Computational Linguistics	X: 12–14 , J: 15–17	Nord	A1204
SEMESTER 4 (Winter-Spring 2008) Classes from February 2008 to June 2008
Automated Theorem Proving	M,J: 11:30–13	Plaça
Categorical Logic
Logics and Artificial Intelligence		UAB
Many-Valued Logics	L,J: 16–17:30	Plaça	S1
Proof Theory
The Development of Formal Logic	X,J: 10–11	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)