[VeryComp 2016] - 1st Call for Paper

--===============0909735975==
Content-Type: text/plain; charset=ISO-8859-7
Content-Transfer-Encoding: quoted-printable

[Apologies for multiple postings]

=3D=3D  FIRST CALL FOR PAPERS =3D=3D

1st International Workshop on Formal to Practical Software Verification and=
 Composition (VeryComp 2016)

Co-located event of STAF 2016 (http://staf2016.conf.tuwien.ac.at/)=20
Wien, Austria - July 4th 2016

Web site: verycomp2016.disim.univaq.it

=3D=3D IMPORTANT DATES =3D=3D

Paper submissions: April 18, 2016
Notification of authors: May 25, 2016
Camera-ready copies: June 20, 2016

=3D=3D THEMES AND OBJECTIVES =3D=3D

Nowadays, modern applications are increasingly realized as distributed syst=
ems composing existing pieces of software that autonomically cooperates to =
achieve a common goal. As a matter of fact, this calls for new software com=
position paradigms, and patterns, modeling and verification methods that ar=
e practical and usable on one hand and formal on the other. Despite the gre=
at interest in practical Software Composition and Formal Verification in th=
eir isolation, no common and integrated approaches have been established ye=
t. VeryComp promotes contributions related to the subject at different leve=
ls: from modelling and verification to analysis, from componentization to c=
omposition. Foundational contributions as well as concrete application expe=
riments are sought.

VeryComp 2016 welcomes research papers, experience papers and tool presenta=
tions; nevertheless, papers describing novel research contributions and inn=
ovative applications are of particular interest. Details on workshop goals =
and themes can be found at: http://verycomp2016.disim.univaq.it

All accepted papers will be published as part of a Springer LNCS Proceeding=
s Volume (Lecture Notes in Computer Science): http://www.springer.com/lncs

Furthermore, selected participants will be invited to submit an extended ve=
rsion of their papers after the workshop to a Thematic Series of the Spring=
er JISA journal on Verification and Composition for the Internet of Service=
s and Things (to appear soon on Springer).

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 contributi=
ons which propose novel research contributions, address challenging problem=
s with innovative ideas, or offer practical contributions in the applicatio=
n of FM and SE approaches for building FI applications via software composi=
tion. Regular papers should clearly describe the situation or problem tackl=
ed, the relevant state of the art, the position or solution suggested and t=
he potential benefits of the contribution.

- Short papers (maximum 8 pages): This category includes tool demonstration=
s, position papers, industrial experiences and case-studies, and visionary =
papers. Authors of papers reporting industrial experiences are encouraged t=
o make their experimental results available for use by reviewers. Similarly=
, authors of tool demonstration papers should make their tool available for=
 use by reviewers.


=3D=3D Workshop Chairs =3D=3D

- Marco Autili, University of L=E2=80=99Aquila, Italy,
[email protected]
- Massimo Tivoli, University of L=E2=80=99Aquila, Italy,
[email protected]
- Luca Ferrucci, ISTI-CNR, Italy,
[email protected]
- Manuel Mazzara, Innopolis University, Russia,
[email protected]
- Davide Bresolin, DISI - Universitu of Bologna, Italy,
[email protected]
- Marcello Bersani, DEIB - Politecnico di Milano, Italy,
[email protected]
- Marisol Garcia-Valls, University Carlos III, Spain,
[email protected]

 =3D=3D Program Committee =3D=3D
=20
- Domenico Bianculli, Universit=C3=A8 du Luxembourg
- Ste=CC=81phane Demri, NewYork University & CNRS, France
- Silvio Ghilardi, Universita=CC=80 degli studi di Milano, Italy
- Nafees Qamar, Vanderbilt University, USA
- David Miguel Ramalho Pereira, Polytechnical School of Porto, Portugal
- Cesar Sanchez, IMDEA Software Institute, Spain
- Vincenzo Ciancia, ISTI-CNR, Italy
- Gwen Salaun, INRIA, Grenoble-Rhone-Alpes, France
- Guglielmo De Angelis, CNR-IASI/ISTI, Italy
- Paola Inverardi, University of L=E2=80=99Aquila, Italy
- Ivica Crnkovic, MaIardalen University, Sweden
- Radu Calinescu, University of York, UK
- Schahram Dustdar, University of Technology Wien, Austria
- Luciano Baresi, Politecnico di Milano, Italy
- Mauro Caporuscio, Linnaeus University, Sweden
- Nikolaos Georgantas, INRIA, France
- Salvatore Distefano, Universit=C3=A0 di Messina, Italy
- Victor Rivera, Innopolis University, Russia
- Pascal Poizat, Paris Ouest University and LIP6, France
- Saad Mubeen, M=C3=A4lardalen University, Sweden
- Hernan Melgratti, Universidad de Buenos Aires, Argentina
- Julio Medina, Universidad de Cantabria, Spain
- Patricia Lago, VU University Amsterdam, Nederland
- Carlo Ghezzi, Politecnico di Milano, Italy
- Antonio Bucchiarone, FBK-IRST, Italy
- Antonio Brogi, Universit=C3=A0 di Pisa, Italy
- Amel Bennaceur, The Open University, UK
- Carlo Bellettini, Universit=C3=A0 degli studi di Milano, Italy


=3D=3D Web Chair & Publicity Chair =3D=3D

- Alexander Perucci, University of L'Aquila, Italy

=3D=3D List of topics (not limited to) =3D=3D

- 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
- Communication middleware support for service oriented composition
- Formal verification and model checking of multi-agent systems

--===============0909735975==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0909735975==--