AstaMoCA

...to appear soon...

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.

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:

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