International Workshop on Computer Aided Systems Theory (9th 2003 Las Palmas, Canary Islands)