==
FINAL CALL FOR PAPERS
The 15th International Workshop on
Automated Verification of Critical Systems
AVoCS 2015
1-4 September 2015,
[Apologies for multiple postings]
-- Call for Papers --
SCART 2015: 1st International Workshop on the ART of Software Composition,
co-located with SEFM 2015 York, UK.
SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for
discussing how the FI affects the traditional
[Apologies for multiple postings]
-- 2nd Call for Papers --
FOCLASA 2015: 14th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems
http://foclasa.lcc.uma.es/
5 September 2015, Madrid (Spain)
In conjunction with CONCUR 2015
[Apologies for multiple postings]
-- Call for Papers --
SCART 2015: 1st International Workshop on the ART of Software Composition,
co-located with SEFM 2015 York, UK.
SCART 2015 (http://scart2015.disim.univaq.it/) provides the opportunity for
discussing how the FI affects the traditional