11th International Conference on Computer Aided Systems Theory, EUROCAST 2007