Teaching in the Automata and Logic group in winter semester 2022/2023