Pre-talk survey for the talk "A model-theoretic analysis of geodesic equations in negative curvature" by Rémi Jaoui. If you plan to attend the talk, it would be great if you could fill it 48 hours in advance (filling later would also be helpful). Thank you!