[finite-model-theory] FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION