5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings

6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings

7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings