Login – Highlights of Logic, Games and Automata