  The proceedings of the 6th International Workshop on Symbolic-Numeric Methods
for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks
presented at the workshop. 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.
