Homotopical and higher categorical methods have seen increasing importance in mathematics, both as foundations and as computational tools. In fact, such methods merge two apparently distinct goals: understanding geometrical forms and classifying mathematical structures. This conference aims at gathering together under this perspective geometers in a rather broad sense. It seeks to foster the applications of these higher methods in the interplay between homotopy theory, arithmetic, and algebraic geometry.