  The proceedings of the 7th International Workshop on Symbolic-Numeric Methods
for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed
contributions and three invited talks.
  SNR focuses on the combination of symbolic and numeric methods for reasoning
about Cyber-Physical Systems and the Internet of Things to facilitate model
identification, specification, verification, and control synthesis for these
systems. The synergy between symbolic and numerical approaches is fruitful
thanks to their complementarity.
