[finite-model-theory] Reasoning Web Summer School 2021