Proceedings

Proceedings of FMCO 2011

The contributions of the speakers at FMCO 2011 will be published after the symposium in post-proceedings, which are planned to be published in the Revised Lectures serie of Lecture Notes in Computer Science by Springer-Verlag, thus reflecting the exchange of ideas.

Proceedings of previous FMCOs

• FMCO 2010
  To appear soon in Springer in LNCS.
• FMCO 2009
  De Boer, F.S.; Bonsangue, M.M.; Hallerstede, S.; Leuschel, M. (Eds.): Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science, Vol. 6286, 2011.
• FMCO 2008
  De Boer, F.S.; Bonsangue, M.M.; Hallerstede, S.; Leuschel, M. (Eds.): Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. Lecture Notes in Computer Science, Vol. 5751, 2010.
• FMCO 2007
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science, Vol. 5382, 2008.
• FMCO 2006
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures. Lecture Notes in Computer Science, Vol. 4709, 2007.
• FMCO 2005
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science, Vol. 4111, 2006.
• FMCO 2004
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures. Lecture Notes in Computer Science, Vol. 3657, 2005.
  
  A special issue on FMCO 2004 has been published in volume 365, issues 1-2 of Theoretical Computer Science, Elsevier Science.


• FMCO 2003
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures. Lecture Notes in Computer Science, Vol. 3188, 2004.
  
  A special issue on FMCO 2003 has been published in volume 331, issues 2-3 of Theoretical Computer Science, Elsevier Science.


• FMCO 2002
  De Boer, F.S.; Bonsangue, M.M.; Graf, S.; De Roever W.-P. (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science, Vol. 2852, 2003.
  
  Two journals have dedicated special issues to FMCO 2002: one in volume 331, issues 2-3 of Theoretical Computer Science and one in volume 55, issues 1--2 of Science of Computer Programming, both published by Elsevier Science.