The proceedings of the symposium are now available online at:
www.springerlink.com/content/978-3-642-04166-2/
The contributions of the
speakers at FMCO 2008 will be published after the symposium in the Revised
Lectures serie of Lecture Notes in Computer Science by Springer-Verlag, thus reflecting the exchange of ideas, and research undertaken at the
symposium, taking each other's work into account.