[finite-model-theory] [Vardi-list] The 5th Advanced School in Computer Science and