Proceedings of the 19th International Conference on Hybrid Systems Computation and Control - Abate, Alessandro (Association for Computing Machinery)