[finite-model-theory] NASSLLI 2020 @ Brandeis University