Sep, 2015 Co-organizer Shonan Meeting "Validated Numerics Meets Reachability Analysis for CPS Design"