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