[finite-model-theory] Highlights of Logic, Games, and Automata: date announcements