The contributions of the speakers at FMCO 2005 have been published as revised lectures in volume 4111 of Lecture Notes in Computer Science by Springer-Verlag.