Floer homotopy theory is a major theme, leading research in symplectic geometry and low-dimensional topology for the last 20 years. The highlights of this research programme has been Manolescu's disproof of the triangulation conjecture using Pin(2)-equivariant Seiberg-Witten Floer theory, and Abouzaid-Blumberg's proof of the Arnold conjecture for characteristic p. We intend to give an introduction to the latter: as the first step, we introduce bordisms of flow categories, defined by Cohen-Jones-Segal and heavily reformulated by Abouzaid-Blumberg.
(Lunch: 12:30 - 14:00, Break: 15:30 - 15:40)