Heights of algebraic points Arithmetic geometry: computation and applications. 16th international conference on arithmetic, geometry, cryptography, and coding theory, AGC2T, CIRM, Marseille, France, June 19--23, 2017. Proceedings 