Monday, April 13, 2015

Hybrid Modeling Languages (HyML) @ Rice (May 7-8, 2015)

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:
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.