[finite-model-theory] Logic for the Friendship of Nations (Jan 14-15, 2022)