The $p$-adic Gross-Zagier formula for diagonal cycles and the $p$-adic Beilinson formulae described in the lectures of Rotger and Bertolini respectively suggest a connection between certain {\em $p$-adic iterated integrals} attached to modular forms and rational points on elliptic curves. I will describe an ongoing project (in collaboration with Alan Lauder and Victor Rotger) whose goal is to explore these relationships numerically, with the goal of better understanding the notion of {\em Stark-Heegner points}. It is hoped that these experiments might suggest new perspectives on Stark-Heegner points based on suitable {\em $p$-adic deformations} of the global objects--diagonal cycles, Beilinson-Kato and Beilinson-Flach elements-- described in the lectures of Rotger, Bertolini, Dasgupta, and Loeffler, following the influential approach to $p$-adic $L$-functions pioneered by Coates-Wiles, Kato, and Perrin-Riou.
