Proceedings of the 37th international conference on Current trends in theory and practice of computer science