Thirteenth International Conference on Computability, Complexity and Randomness (CCR 2018)