Olga Petrovska, Monika Seisenberger: Report on BCTCS 2022. Bull. EATCS 137 (2022)