The homological conjectures in commutative algebra are a network of conjectures that have generated a tremendous amount of activity in the last 50 years. They had largely been resolved for commutative rings that contain a field, but, with the exception of some low dimensional cases, several remained open in mixed characteristic --- until recently, when Yves André announced a proof of Hochster's Direct Summand Conjecture. The progress comes from systematically applying Scholze's theory of perfectoid spaces, which had already shown its value by solving formidable problems in number theory and representation theory. One of the goals of the workshop is to cover the ingredients going into the proofs of the Direct Summand Conjecture.