- 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
*(Updated tutorial material)* - Stan Wainer, University of Leeds: Provable Recursion and Arithmetical Independence Results

- Daniel Graça, Algarve

On the evolution of systems defined by computable Initial Value Problems - David Pereira, Porto

Towards a Framework for Reasoning About Emotional BDI Agents - Gilda Ferreira, Lisbon

An Embedding of the Predicate Calculus - João Rasga, Lisbon

Some Complexity Results on Cut Elimination in First Order Based Logics - José Espírito Santo, Braga

Issues in a calculus of multiary sequent terms - Luís Antunes, Porto

Time-Bounded Universal Distributions - Mario Florido, Porto

Type-Based Linearization of the Lambda Calculus - Pedro Quaresma, Coimbra

Automated Production of Readable Proofs for Theorems in Euclidean Geometry - poverGCLC & GeoThms - Sabine Broda, Porto

Decidability of combinatory completeness for finite sets of porper combinators - Tarmo Uustalu, Tallinn

Proof Search and Countermodel Construction in Bi-intuitionistic Propositional Logic

The general time schema follows:

Thursday, 19th Jan: 9h - 18:30

Friday, 20th Jan: 9h - 18:30

Saturday, 21st Jan: 9:30 - 12:45

A conference dinner is planned for Friday evening.

- How to get to Coimbra (External link to the Travel information of the Category Theory Group in Coimbra)
- Map of Coimbra with indication of the Department of Mathematics and to the hotels Astoria and Ibis. (External lint to the ILAS conference 2004)
- Another map of Coimbra

- Reinhard Kahle, University of Coimbra and CENTRIA
- Isabel Oitavem, New University of Lisbon and CMAF
- Gonçalo Gutierres, University of Coimbra and CMUC

CMUC | DM, UC | CMAF | POCTI/FCT and FEDER | CGD |