[finite-model-theory] Con­fer­ence on Er­win Engeler’s 90th birth­day and Ernst Specker’s cen­ten­ary