Recent breakthroughs in higher category theory and homotopy theory have allowed mathematicians to capture subtle geometric phenomena, which has led to new connections between derived algebraic geometry, algebraic K-theory, and arithmetic. This workshop will bring together experts working on the applications of modern techniques from higher algebra to arithmetic, algebraic, and analytic geometry, in particular algebraic cycles, constructible sheaves, and the six functors formalism.