Title: Proceedings of the Eighth International C* Conference on Computer Science and Software Engineering