Springer proceedings in complexity