Plenary Sessions

Towards a Logic of Association Rules: Deduction, Optimum Axiomatizations, and Objective Novelty

José Luis Balcázar (Universitat Politècnica de Catalunya; Universidad de Cantabria)

Black holes in higher dimensions

Roberto Emparan  (ICREA y Universitat de Barcelona)

The Eingenvalue Complementarity Problem: Theory and Algorithms

Joaquim Júdice (Universidade de Coimbra)

Some recent research on Runge-Kutta methods

Juan Ignacio Montijano (Universidad de Zaragoza)

Large complex structure limits in geometric quantization

José Mourão (Instituto Superior Técnico)

Parallel Composition of Logics

Amílcar Sernadas (IT y Instituto Superior Técnico)