[TYPES/announce] [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers

[alexander.perucci at graduate.univaq.it]

[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 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.

Keynote by Paola Inverardi (Title and abstract to be announced) - http://scart2015.disim.univaq.it/?page_id=139

A thematic series on Service Composition for the Future Internet in the Springer Journal of Internet Services and Applications (JISA - http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the thematic series.

== IMPORTANT DATES ==

Paper submissions:  June 7, 2015
Notification of authors: June 24, 2015
Camera-ready copies: July 5, 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 ==

- Marco	Autili, 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