Matthias Aschenbrenner is professor of mathematics at the University of California, Los Angeles. Lou van den Dries is professor of mathematics at the University of Illinois, Urbana-Champaign. Joris van der Hoeven is director of research at the French National Center for Scientific Research (CNRS).