[Om-announce] SCART 2015 - 1st Call for Papers (at SEFM 2015)

[Alexander Perucci]

[Apologies for multiple postings] 




-- First 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 SE methods and tools, and how facing its complexity in terms of scalability, heterogeneity, and dinamicity promotes the integration of FM within SE practices. We seek answers on how the rigorousness of FM assists software engineers while designing, developing, validating and operating software systems for the FI, which are build via correct-by-construction service composition. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest research and development. 




SCART 2015 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://scart2015.disim.univaq.it . 




At SCART 2015 we will have a Keynote by Paola Inverardi (Tile and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139 




== IMPORTANT DATES == 




Paper submissions: May 22, 2015 
Notification of authors: June 19, 2015 
Camera-ready copies: July 3, 2015 




== PAPER SUBMISSION == 




Workshop papers must follow the SEFM 2015 Format and Submission Guidelines: 

http://www.cs.york.ac.uk/sefm2015/ 




Each submitted paper will undergo a formal peer review process by at least 3 PC members. Contributions can be: 




Regular papers (maximum 12 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building FI applications via software composition. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. 




Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of tool demonstration papers should make their tool available for use by reviewers. 




== Workshop Chairs == 




• Marco Autili, University of L’Aquila, Italy marco.autili at univaq.it 
• Alfredo Goldman, University of São Paulo, Brazil gold at ime.usp.br 
• Massimo Tivoli, University of L’Aquila, Italy, massimo.tivoli at univaq.it 




== Program Committee == 




• Domenico Bianculli, Univ. du Luxembourg 
• Gwen Salaün, INRIA, Grenoble-Rhone-Alpes, France 
• Guglielmo De Angelis, CNR-IASI/ISTI, Italy 
• Ivica Crnkovic, Mälardalen University, Sweden 
• Joni da Silva Fraga, UFSC, Brazil (pending) 
• Kelly Rosa Braghetto, Univ. of São Paulo, Brazil 
• Luciano Baresi, Politecnico di Milano, Italy 
• Mauro Caporuscio, Politecnico di Milano, Italy 
• Miriam Capretz, Faculty of Western Eng., Canada 
• Nelson Souto Rosa, UFPE, Brazil 
• Nikolaos Georgantas, INRIA, Paris, France 
• Paola Inverardi, Univ. of L’Aquila, Italy 
• Pascal Poizat, Univ. Paris Ouest, France 
• Radu Calinescu, Univ. of York, UK 
• Schahram Dustdar, Univ. of Technology Wien, Austria 




== Publicity Chair == 




• Alexander Perucci, University of L’Aquila, Italy 




== Web Chair == 




• Amleto Di Salle, University of L’Aquila, Italy 




== List of topics (although not limited to) == 




• Specification, architecture, and design of software composition models 
• Software quality assurance for software composition 
• Verification and testing of software integration code 
• Adaptive software composition 
• Formal methods for automated software composition 
• Service-oriented and Component-based software composition 
• Non-functional properties of software composition 
• Automated software composition and coordination 
• Correct-by-construction software composition 
• Automated synthesis of software integration code 
• Model-driven software composition 
• Compositional theories for software composition 
• Patterns and frameworks for software composition engineering 
• Tools and methods for software composition engineering 
• Industrial experience in software composition 
• Empirical studies in software composition
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150305/66380b25/attachment.html>