Computability and Complexity - Day (Springer International Publishing, 2017)