Mathematical logic, foundations and computing

Computing singularities of parametric plane curves

Carlos D'Andrea (Universitat de Barcelona)

Sophistication Revisited

Luís Antunes ( Universidade do Porto)

Certified Numerical Solutions of Systems of Polynomial Equations

Carlos Beltrán (Universidad de Cantabria)

Dynamical Systems and Pseudorandom Number Generation

Domingo Gómez (Universidad de Cantabria)

The universal covering map in o-minimal structures

Mário Jorge Edmundo (Universidade Aberta)

Towards a canonical classical natural deduction system

José Espírito Santo (Universidade do Minho)

An algorithm for checking whether a simplicial toric ideal is a complete intersection

Ignacio García-Marco (Universidad de la Laguna)

Fernando Ferreira (Universidade de Lisboa)

Applicative Theories and Computational Complexity

Reinhard Kahle (Universidade Nova de Lisboa, Centria e DM)

Abstract Algebraic Logic Tools in Program Development

Manuel António Martins (Universidade de Aveiro)

Effective homology of groups and discrete Morse theory

Ana Romero (Universidad de la Rioja)