Proceedings of the conference on European design automation