[finite-model-theory] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP