[finite-model-theory] The Highlights of Logic, Games, and Automata advertisement mailing list