(M. Bertelson, V. Ginzburg) What about a foliated version of the Arnold conjecture? D. Castelvecchi made some progress in his thesis (2000), relating symplectic rigidity and Connes' noncommutative integration theory. The optimal statement is that given a symplectic foliation on a closed manifold and a transverse measure, the measure of the set of fixed points of a (generic) leafwise Hamiltonian flow is bounded below by the sum of the foliated L^2 Betti numbers of the foliation. Castelvecchi proved the Morse inequalities in this setting.