Abstract: F-theory marks a major step forward in understanding the strong coupling regime of type IIB string theory. However, it has a perturbative formulation in terms of the string length, being on the same footing as type IIB supergravity. Controlling \alpha' corrections to the F-theory effective physics is a challenging task and is of great relevance in string phenomenology. In this talk, I will present a modest attempt in this program. In particular, I will be mostly focusing on F-theory compactified on K3xK3 and discuss the exact Kaehler potential in the \alpha' perturbation theory for the vector multiplets of the ensuing 4d, N=2 effective theory. The various (non)-perturbative dualities which this specific model features greatly simplify the analysis and makes manifest the SL(2,Z)-invariant structure of the quantum corrections. I will finally interpret these corrections in 11d supergravity and provide a way of computing them directly in the M-theory definition of F-theory.