- Luís Soares Barbosa, Markus Lumpe, editors, Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Volume 6921 of Lecture Notes in Computer Science, Springer, 2012.
- Farhad Arbab, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Volume 7253 of Lecture Notes in Computer Science, Springer, 2012.