Proceedings of the Fourth Russian Finnish Symposium on Discrete Mathematics - Juhani Karhumäki; Yuri Matiyasevich; Aleksi Saarela (TUCS, 2025)