The geometrical formulation of string theory through "F-theory" provides a nonperturbative framework that connects geometry with the physics of gauge theories and matter fields coupled to supergravity. In six dimensions, this has led to new insights into the global structure of the "landscape" of supergravity theories and string theory vacua, has provided new mathematical results on Calabi-Yau...