Sunday, April 26, 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.

Meeting Program

Thursday May 7th, 2015

  8:00 - Breakfast
  8:30 - The Acumen Project
             Walid Taha, Halmstad University and Rice University
  9:30 - Modeling Aspects of Robot Arms and Automated Vehicles
             Roland Philippsen, Google, Inc
10:45 - Break
10:15 - Simulation-guided Formal Analysis
             Jyotirmoy Deshmukh, Toyota
11:30 - Formal Synthesis of Computational Kernels
             Franz Franchetti, Carnegie Mellon University
12:15 - Lunch
  1:30 - Coinduction in Logic Programming: 
             Proof Theoretic Foundations of Normal Logic Programs
             Gopal Gupta, University of Texas at Dallas
  2:30 - Declarative Probabilistic Programming
             Molham Aref, LogicBlox
  3:30 - Break
  4:00 - Response Time Analysis of Functional Reactive Systems
             Albert Cheng, University of Houston
  5:00 - Panel: HyMLs in Education
  7:00 - Dinner

Friday May 8th, 2015

  8:00 - Breakfast
  8:30 - First Steps toward Formal Controller Synthesis for Bipedal Robots
             Aaron Ames, Texas A&M
  9:30 - Computable Analysis as a Framework for Studying Continuous Systems
             Walid Gomaa, Egypt Japan University of Science and Technology
10:15 - Break
10:45 - A Hyperdense Semantic Domain for Hybrid Dynamic Systems.
             Gabor Simko, Google, Inc
11:30 - Computer-aided Proofs
             Ferenc Bartha, Rice University
12:15 - Lunch
  1:30 - Partial Continuous Maps
             Eugenio Moggi, University of Genova
  2:30 - From Intervals Through Function Intervals 
             to a General Description of Imprecise Probabilities
             Vlad Kreinovich, University of Texas at El-Paso
  3:30 - Break
  4:00 - Numeric-Symbolic Reachability Analysis of Hybrid Systems
             Sriram Sankaranarayanan, University of Colorado
  5:00 - Panel: A Roadmap for HyML Research
  7:00 - Dinner

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.