The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

Program Committee

Dung Tran (Co-chair, University of Nebraska-Lincoln, USA)

Anne Remke (Co-chair, University Münster, Germany)

Stefan Schupp (TU Wien, Austria)

Taylor T. Johnson (Vanderbilt University, U.S.A.)

Mario Gleirscher (University of York, UK)

Erika Abraham (RWTH Aachen, Germany)

Arnd Hartmanns (University of Twente, Germany)

Ernst Moritz Hahn (University of Twente, Germany)

Weiming Xiang (Augusta University, USA)

Gethin Norman (Glasgow University, UK)

Andreas Rauh (ENSTA Bretagne, Brest, France)

Goran Frehse (ENSTA Paris, France)

Stefan Ratschan (Academy of Sciences of the Czech Republic)

Sofie Haesaert (Eindhoven University of Technology, The Netherlands)

Thao Dang (CNRS/Verimag, France)

David Monniaux (CNRS/Verimag, France)

Milan Češka (Brno University of Technology, Czech Republic)

Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany)

Luan Viet Nguyen (University of Dayton, USA)

Chuchu Fan (Massachusetts Institute of Technology, USA)