J.P.C.Greenlees ``Equivariant formal group laws and complex oriented cohomology theories.'' This is a survey of what I knew about equivariant formal group laws at the time, based on talks at the 2000 Stanford workshop. It includes summaries of various other papers on this page (those present at the time with ``equivariant formal group'' in the title, together with those on connective K theory), together with a sketch of the definition for non-abelian groups.