The Kunneth formula in Floer homology for manifolds with restricted contact type boundary

We prove the Kunneth formula in Floer (co)homology for manifolds with restricted contact type boundary. We use Viterbo's definition of Floer homology, involving the symplectic completion by adding a positive cone over the boundary. The Kunneth formula implies the vanishing of Floer (co)homology for subcritical Stein manifolds. Other applications include the Weinstein conjecture in certain product manifolds, obstructions to exact Lagrangian embeddings, existence of holomorphic curves with Lagrangian boundary condition, as well as symplectic capacities.