Workshop on Algebraic K-theory, algebraic homotopy, and global actions