together with zehnder, he published fixed point results for symplectic maps related to the arnol'd conjecture in the proceedings of the conference dynamical systems and bifurcations held in groningen in 1984.

Write the above sentence using proper case.
Together with Zehnder, he published Fixed point results for symplectic maps related to the Arnol'd conjecture in the Proceedings of the conference Dynamical systems and bifurcations held in Groningen in 1984.