Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, proceedings