Rice University will host the second Hybrid Modeling Languages (HyML) Meeting, organized by the Professors Taha and Cartwright. The topics covered by the meeting include modeling of cyber-physical systems, validated numerics, and formal semantics. The meeting provides a forum for presenting work representing the state of the art in these topics, and is intended to facilitate continued and new collaborations on research and education across these areas. Speakers at the meeting include:
- Aaron Ames, Texas A&M
- Molham Aref, LogicBlox
- Ferenc Bartha, Rice University
- Albert Cheng, University of Houston
- Franz Franchetti, Carnegie Mellon University
- Walid Gomaa, Egypt Japan University of Science and Technology
- Gopal Gupta, University of Texas at Dallas
- Vlad Kreinovich, University of Texas at El-Paso
- Rahul Mangharam, University of Pennsylvania
- Eugenio Moggi, University of Genova
- Roland Philippsen, Google, Inc
- Sriram Sankaranarayanan, University of Colorado
- Walid Taha, Halmstad University and Rice University
The meeting consists of invited talks and discussion sessions. It will take place in room 1070 of Duncan Hall. A schedule for the meeting is forthcoming. For more information, please contact Walid Taha.
