The goal of the program is to train researchers in Logic and closely related topics. Our plan is first to provide the basic training that any logician must have and then to develop the research skills of the students by centering the training on the topics where the groups participating in the Program have their research, namely: Algebraic Logic, Many-valued Logics and Non-classical Logics in general, Model Theory, Philosophy of Mathematics, and Set Theory. The Ph. D. dissertations should correspond to one of these topics.

This Program is organized by the Departament of Logic, History and Philosophy of Science of the Universitat de Barcelona (UB), with the collaboration of the Departament of Applied Mathematics II of the Universitat Politècnica de Catalunya (UPC), of the Research Institute in Artificial Intelligence of the Consejo Superior de Investigaciones Científicas (IIIA-CSIC) and of the Institució Catalana de Recerca i Estudis Avançats (ICREA).

This Program has received a Quality Award from the Spanish Ministry of Education and Science (Official Journal "BOE" 5/7/2004)

.

The first period of the program consists of two years of training before the student is allowed to start the research on the Ph. D. dissertation. During the first year the student has to obtain at least 20 credits by choosing, subject to the tutor's approval, among the courses of the program (see below); none of them is compulsory, but students with a weak background in first-order logic should take the two "a)'' courses and the first "b)'' course. During the second year the student has to write two research papers under the supervision of two of the teachers of the program. The topics of the papers should belong to one or two of the research areas mentioned above.

The second period consists of the research, writing and defence of the Ph. D. dissertation. The topic should belong to one of the research areas mentioned above. This period takes on average two or three years.

First year courses

First semester (from 1 October 2004 to 31 January 2005)

a) Fundamentals of mathematical logic I. (3 credits). Prof. Joan Bagaria
b) Fundamentals of set theory. (4 credits). Prof. Ignacio Jané
c) Introduction to algebraic logic. (4 credits). Profs. Ramon Jansana, Ventura Verdú
d) Universal algebra and logic. (4 credits) Profs. Joan Gispert, Antoni Torrens
e) Logics for artificial intelligence.(4 credits). Profs. Francesc Esteva, Pere García

Second semester (from 15 February 2005 to 31 May 2005)

a) Fundamentals of mathematical logic II. (3 credits). Prof. Joan Bagaria
b) Set theory. (4 credits). Profs. Joan Bagaria, Juan Carlos Martínez
c) Model Theory. (4 credits). Profs. Enrique Casanovas, Rafael Farré
d) Computability. (4 credits). Prof. Raimon Elgueta
e) Algebraic logic. (4 credits). Prof. Josep Maria Font
f) Automatic deduction. (4 credits). Prof. Gonzalo Escalada

Second year research papers

To be chosen according to the student's interests among the topics that will be suggested at the end of the first year, which will belong to the research areas mentioned above.

Joan Bagaria (ICREA, UB): Set theory.
Enrique Casanovas (UB): Model theory.
Raimon Elgueta (UPC): Algebraic logic, computational logic.
Gonzalo Escalada (IIIA-CSIC): Automatic deduction.
Francesc Esteva (IIIA-CSIC): Many-valued logics, artificial intelligence.
Rafel Farré (UPC): Model theory.
Josep Maria Font (UB): Algebraic logic.
Pere Garcia (IIIA-CSIC): Many-valued logics, artificial intelligence.
Joan Gispert (UB): Algebraic logic, many-valued logic.
Ignacio Jané (UB): Philosophy of set theory and of logic.
Ramon Jansana (UB): Algebraic logic, modal logic.
Juan Carlos Martínez (UB): Set theory, Boolean algebras.
Antoni Torrens (UB): Algebraic logic, many-valued logics.
Ventura Verdú (UB): Algebraic logic, substructural logics.

Professor Ramon Jansana
 
E-mail address: jansana@mat.ub.es
 

Postal address:

Departament of Logic, History and Philosophy of Science,  University of Barcelona  Baldiri i Reixach s/n, 08028 Barcelona, Spain

• Maximum number of students: 16
• The courses start around 1st October 2004.
• 1 credit means approximately 10 classroom hours. Courses usually consist of around 2 hours of class per week.
• Seriously interested candidates are strongly advised to apply for admission as soon as possible. They should do so by sending a curriculum vitae to the Coordinator of the Program. Normally a prompt reply is to be expected. In case of a too large number of confirmed applications, admission will be decided by September 15 on the basis of the cv's.
• For foreign students:
  According to Spanish Ph. D. regulations, after the acceptance in the program by the Department, a foreign student has to apply to the Rector for admission at the University of Barcelona. It is necessary to send:
  • A formal letter asking for admission.
  • A copy (legalized by a diplomatic procedure) of the title together with an attested copy of it.
  • A copy (legalized by a diplomatic procedure) of the academic certificate of the previous studies together with an attested copy of it.
  These documents can be sent at the beginning of September 2004.

  FOR MORE INFORMATION PLEASE WRITE TO THE COORDINATOR