Teaching in the Automata and Logic group in winter semester 2025/2026