Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science