The objective of the FMCO symposia is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss concepts related to component-based and object-oriented software systems. The symposia are organized to provide an atmosphere that fosters collaborative work, discussions and interaction. 

• FMCO 2011, Natural Science Museum of Turin, Turin, Italy, 3 – 5 October 2011 (co-located with FoVeOOS 2011).
  
  
• FMCO 2010, IST, Graz University of Technology, Austria, 29 November  - 1 December 2010. Proceedings in volume 6957 of Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2011.

• FMCO 2009, Technical University of Eindhoven, Eindhoven, The Netherlands, 4 - 6 November 2009. (Part of the Formal Methods Week, Eindhoven, The Netherlands). Proceedings in volume 6286 of the Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2010.

• FMCO 2008, INRIA, Sophia Antipolis, France, 22 - 24 October 2008.  (Part of 5h Grid@Work conference, co-organized by ERCIM/ETSI/INRIA/I3S/CNRS).  Proceedings in volume 5751 of the State of the Art Series of Lecture Notes in Computer Science by Springer-Verlag, 2009.

• FMCO 2007, CWI, Amsterdam, The Netherlands, 24 - 26 October 2007. Proceedings in volume 5382 of the Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2008.

• FMCO 2006, CWI, Amsterdam, The Netherlands, 7 -10 November 2006. Proceedings in volume 4709 of the Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2007.

• FMCO 2005, CWI, Amsterdam, The Netherlands, 1 - 4 November 2005. Proceedings in volume 4111 of the Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2006.

• FMCO 2004 , Lorentz Center, Leiden University, in Leiden, The Netherlands, 2 - 5 November 2004. Proceedings in volume 3657 of the Revised Lectures Series of Lecture Notes in Computer Science by Springer-Verlag, 2005. Special issue in Theoretical Computer Science 365(1-2), Elsevier Science. 

• FMCO 2003 Lorentz Center, Leiden University, Leiden, The Netherlands, 4 - 7 November 2003. Proceedings in volume 3188 of the Revised Lectures Series of Lecture Notes in Computer Science, Springer-Verlag, 2004. A special issue in Theoretical Computer Science 343(3), Elsevier Science.

• FMCO 2002, Lorentz Center, Leiden University, Leiden, The Netherlands, 5 - 8 November 2002. Proceedings in volume 2852 of the Revised Lectures Series of Lecture Notes in Computer Science, Springer-Verlag, 2003. Special issues in Theoretical Computer Science 331(2-3) and in Science of of Computer Programming 55(1-2), Elsevier Science.