Springer proceedings in complexity uri icon