Workshop on Flows, Foliations and Contact Structures

We give new constraints on the topology of symplectic four-manifolds using invariants from Heegaard Floer homology. In particular, we will prove that certain simply-connected four-manifolds with positive-definite intersection forms cannot admit symplectic structures. This is joint work with Tye Lidman.