CfP

FacebookTwitterGoogle+Share

VeryComp 2016 aims at counteract the specialization of traditional venues by bringing together researchers and practitioners from different areas concerning software verification and composition, to fill the gap between the requirements of modern applications and current verification and composition methods. In particular, VeryComp 2016 aims at attracting contributions related to the subject at different levels, from modelling for verification to verification and analysis, from componentization to composition. Foundational contributions, as well as concrete application experiments are sought. The workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo of software verification and composition approaches when projected to the next future.

Download Call for Papers (PDF)

VeryComp 2016 welcomes research papers, experience papers and tool presentations;  nevertheless, papers describing novel research contributions and innovative applications are of particular interest.

A Thematic Series in the Springer Journal of Internet Services and Applications (JISA) is devoted to VeryComp 2016. 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.

Topics of interests of VeryComp 2016 Workshop include, but are not limited to:

  • Specification and design of software composition models
  • Formal verification and model checking of software integration code
  • Service-oriented software composition
  • Automated software composition and coordination
  • Formal verification of self-adaptive systems
  • Model-driven software composition
  • Correct-by-construction software composition
  • Formal verification and model checking of multi-agent systems

Paper Submission

Please visit the submission page