The existential closedness problem for a function $f$ is to show that a system of complex polynomials in $2 n$ variables always has solutions in the graph of $f$, except when there is some geometric obstruction. Special cases have be proven for exp, Weierstrass $\wp$ functions, the Klein $j$ function, and other important functions in arithmetic geometry using a variety of techniques. Recently, some special cases have also been studied for well-known solutions of difference equations using different methods. There is potential to expand on these results by adapting the strategies used to prove existential closedness results for functions in arithmetic geometry to work for analytic solutions of difference equations.[-]

Starting from a presentation of the many recent applications of Galois theory of functional equations to enumerative combinatorics, we will introduce the Galois theory of (different kinds) of difference equations. We will focus on the point of view of the applications, hence with little emphasis on the technicalities of the domain, but I'm willing to do an hour of « exercises » (i.e. to go a little deeper into the proofs), if a part of the audience is interested.[-]