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