1: \begin{abstract}

2: We consider functional Schr\"{o}dinger equations associated with a wide class

3:    of    Hamiltonians  in all Fock

4:     representations of the bosonic canonical commutation relations, in

5:     particular the Cook-Fock,   Friedrichs-Fock, and  Bargmann-Fock models.

6: An infinite-dimensional symbolic calculus allows to prove

7: the convergence of the corresponding Hamiltonian Feynman  integrals

8: for propagators of coherent states.

9: \end{abstract}

10: