Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
Geometric Laplacians on Self-Conformal Fractal Curves in the Plane
By Naotaka Kajino
By Rahim Moosa
Appears in collection : Model Theory, Difference/Differential Equations and Applications / Théorie des modèles, équations différentielles et aux différences et applications
If CCM denotes the theory of compact complex spaces in the langauge of complex-analytic sets, then the theory of models of CCM equipped with an automorphism has a model companion, denoted by CCMA. The relationship to meromorphic dynamical systems is the same as that of ACFA to rational dynamical systems. I will discuss recent joint work with Martin Bays and Martin Hils that begins a systematic study of CCMA as an expansion of ACFA. Particular topics we consider include: stable embeddedness, imaginaries, and the Zilber dichotomy.