<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;
        mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
span.EmailStyle18
        {mso-style-type:personal;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
span.EmailStyle19
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="IT" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">VERY* - Call for papers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">The 2nd Workshop on Formal Verification for self-* systems (VERY*)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><a href="http://verystar.cs.unibo.it/">http://verystar.cs.unibo.it/</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Affiliated with SEFM 2015: The 13th International Conference on Software Engineering and Formal Methods<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Formal methods have been successfully used in the last decades for modeling<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">and verification of various types of hardware and software systems. While most<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">languages and techniques emerged in a context of monolithic systems with a<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">limited self-adaptability, modern systems require approaches able to cope with<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">dynamically changing requirements and emergent behaviors. The emphasis on<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">system reconfigurability has not been followed by an adequate research effort,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">and the current state of the art lacks paradigms that can describe and analyze<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">complex modern systems in a comprehensive way.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">This workshop aims at filling this gap by bringing together researchers and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">practitioners with the goal of pushing forward the state of the art on logics and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">model checking, with particular attention on the specification and verification<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">of systems in the following (and further) categories:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* self-adaptive systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* self-reconfiguring systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* self-organizing systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* cyber-physical systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* hybrid systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* elastic systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* multi-agent systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">The workshop focuses on demonstrating the applicability of Formal Methods in
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">practical contexts. Therefore, both methodological/theoretical and industrial/applicative
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">papers are welcome. In particular, the workshop aims at valuing and emphasizing the effective<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">application of novel/emerging formalisms. Contributions on all aspects of formal and
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">semi-formal verification, including (but not limited to) model checking, modal logics,
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">abstract interpretation, testing and modeling languages are encouraged.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Important Dates (strict)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* May 4, 2015: Abstract submissions<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* May 18, 2015: Submission of regular papers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* June 19, 2015: Notification of paper acceptance/rejection<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* June 26, 2015: Pre-proceedings Camera-ready copies of accepted papers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* September 7-8, 2015: Workshop<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">* September 25, 2015: Post-workshop camera-ready paper submission<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Submissions<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Authors are invited to submit original unpublished papers. Every submitted<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">paper will be reviewed by at least three members of the Program Committee.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Accepted papers will be published in a joint post-workshop proceedings for all<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">SEFM 2015 workshops as a joint Lecture Notes in Computer Science volume,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">like the SEFM-2013 and SEFM-2014 post-workshop proceedings. Authors are<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">invited to submit papers of no more than 15 pages in the LNCS format style.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">Proofs omitted due to space constraints can be put into an appendix to be read<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">at the reviewers&#8217; discretion. Proofs added into appendix will *not* be published<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">on proceedings. Submissions should be made using the VERY* 2015 web site:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><a href="http://verystar.cs.unibo.it/">http://verystar.cs.unibo.it/</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">The authors must be prepared to sign a copyright transfer statement. At<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">least one author of each accepted paper must register to the workshop by the<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">early date, to be indicated by the organizers, and *must* present the paper. A<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="EN-US" style="font-family:&quot;Courier New&quot;">special issue with a selection of the best papers on an international journal will<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">be taken into consideration.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">Organizers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">* Marcello M. Bersani, Politecnico di Milano,
<a href="mailto:marcellomaria.bersani@polimi.it">marcellomaria.bersani@polimi.it</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">* Davide Bresolin, UniversitÓ&nbsp; di Bologna,
<a href="mailto:davide.bresolin@unibo.it">davide.bresolin@unibo.it</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">* Luca Ferrucci, ISTI-CNR,
<a href="mailto:ferrucci@isti.cnr.it">ferrucci@isti.cnr.it</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">* Manuel Mazzara, Innopolis University,
<a href="mailto:m.mazzara@innopolis.ru">m.mazzara@innopolis.ru</a><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:&quot;Courier New&quot;">* Salvatore Distefano, Politecnico di Milano [publicity chair],
<a href="mailto:salvatore.distefano@polimi.it">salvatore.distefano@polimi.it</a><o:p></o:p></span></p>
</div>
</body>
</html>