[finite-model-theory] ESSLLI 2020: 2nd Call for Course and Workshop Proposals