[finite-model-theory] [SCPS 2021] Smart Cyber-Physical Systems Symposium