[logic-ml] Fwd: [hscc] 2018 Hybrid Systems: Computation and Control (HSCC) -- Call for Papers