Page 7 - Textos de Matemática Vol. 38

Preface
The meeting Days in Logic ’06 took place at the Department of Mathe- matics of the University of Coimbra, Portugal, from January 19th to 21st, 2006. Days in Logic is established as a biannual meeting. It aims at bringing together mathematicians and computer scientists from Portugal (but also elsewhere) with interests in Logic. Its first edition, in 2004, was held in Braga, the second one in Coimbra and the third is planned for 2008 in Lisbon. Days in Logic ’06 con- sisted of four introductory courses and 10 contributed talks and it was attended by more than 40 participants, cf. http://www.mat.uc.pt/~kahle/dl06/. The speakers and topics of the courses were:
• Maria Manuel Clementino, University of Coimbra: Category Theory
• Fernando Ferreira, University of Lisbon: Proof Interpretations
• Peter Koepke, University of Bonn:
Computations with Ordinals, and Models of Set Theory
• Stan Wainer, University of Leeds:
Provable Recursion and Arithmetical Independence Results
We are happy to have the possibility to publish the course material of two of these courses in the Textos de Matem´atica published by the Depart- ment of Mathematics of the University of Coimbra. We are grateful to the authors, Fernando Ferreira and Peter Koepke, for providing the revised texts of their courses for this publication. We also would like to thank all speakers and participants for contributing to the success of the meeting. Special thanks go to Gon¸calo Gutierres for his help in the organization. The meeting was spon- sored by CMUC, CMAF, the Department of Mathematics of the University of Coimbra, POCTI/FCT and FEDER, and Caixa Geral de Depo´sitos.
The Editors
Reinhard Kahle, CENTRIA - UNL, Lisboa, and
DM, Universidade de Coimbra, Apartado 3008, P–3001-454 Coimbra, Portugal E-mail address: kahle@mat.uc.pt
Isabel Oitavem, CMAF, Universidade de Lisboa,
Av. Prof. Gama Pinto 2, 1649-003 Lisboa, Portugal and DM, FCT, Universidade Nova de Lisboa, Portugal E-mail address: isarocha@ptmat.fc.ul.pt
v