[finite-model-theory] Highlights of Logic, Games, and Automata: Save the date 15--17 September 2021