<div dir="ltr">VERY* - Call for papers<br><br>The 2nd Workshop on Formal Verification for self-* systems (VERY*)<br><br><a href="http://verystar.cs.unibo.it/">http://verystar.cs.unibo.it/</a><br><br>Affiliated with SEFM 2015: The 13th International Conference on Software<br>Engineering and Formal Methods<br><br><br>Formal methods have been successfully used in the last decades for modeling<br>and verification of various types of hardware and software systems. While most<br>languages and techniques emerged in a context of monolithic systems with a<br>limited self-adaptability, modern systems require approaches able to cope with<br>dynamically changing requirements and emergent behaviors. The emphasis on<br>system reconfigurability has not been followed by an adequate research effort,<br>and the current state of the art lacks paradigms that can describe and analyze<br>complex modern systems in a comprehensive way.<br>This workshop aims at filling this gap by bringing together researchers and<br>practitioners with the goal of pushing forward the state of the art on logics and<br>model checking, with particular attention on the specification and verification<br>of systems in the following (and further) categories:<br><br>* self-adaptive systems<br>* self-reconfiguring systems<br>* self-organizing systems<br>* cyber-physical systems<br>* hybrid systems<br>* elastic systems<br>* multi-agent systems<br><br>The workshop focuses on demonstrating the applicability of Formal Methods in practical contexts. <br>Therefore, both methodological/theoretical and industrial/applicative papers are welcome. <br>In particular, the workshop aims at valuing and emphasizing the effective application of <br>novel/emerging formalisms.<br>Contributions on all aspects of formal and semi-formal verification, including<br>(but not limited to) model checking, modal logics, abstract interpretation, testing<br>and modeling languages are encouraged.<br><br>Important Dates (strict)<br>* May 4, 2015: Abstract submissions<br>* May 18, 2015: Submission of regular papers<br>* June 19, 2015: Notification of paper acceptance/rejection<br>* June 26, 2015: Pre-proceedings Camera-ready copies of accepted papers<br>* September 7-8, 2015: Workshop<br>* September 25, 2015: Post-workshop camera-ready paper submission<br><br>Submissions<br>Authors are invited to submit original unpublished papers. Every submitted<br>paper will be reviewed by at least three members of the Program Committee.<br>Accepted papers will be published in a joint post-workshop proceedings for all<br>SEFM 2015 workshops as a joint Lecture Notes in Computer Science volume,<br>like the SEFM-2013 and SEFM-2014 post-workshop proceedings. Authors are<br>invited to submit papers of no more than 15 pages in the LNCS format style.<br>Proofs omitted due to space constraints can be put into an appendix to be read<br>at the reviewers’ discretion. Proofs added into appendix will *not* be published<br>on proceedings. Submissions should be made using the VERY* 2015 web site:<br><br><a href="http://verystar.cs.unibo.it/">http://verystar.cs.unibo.it/</a>.<br><br>The authors must be prepared to sign a copyright transfer statement. At<br>least one author of each accepted paper must register to the workshop by the<br>early date, to be indicated by the organizers, and *must* present the paper. A<br>special issue with a selection of the best papers on an international journal will<br>be taken into consideration.<br><br>Organizers<br>* Marcello M. Bersani, Politecnico di Milano, <a href="mailto:marcellomaria.bersani@polimi.it">marcellomaria.bersani@polimi.it</a><br>* Davide Bresolin, Università di Bologna, <a href="mailto:davide.bresolin@unibo.it">davide.bresolin@unibo.it</a><br>* Luca Ferrucci, ISTI-CNR, <a href="mailto:ferrucci@isti.cnr.it">ferrucci@isti.cnr.it</a><br>* Manuel Mazzara, Innopolis University, <a href="mailto:m.mazzara@innopolis.ru">m.mazzara@innopolis.ru</a><br>* Salvatore Distefano, Politecnico di Milano [publicity chair], <a href="mailto:salvatore.distefano@polimi.it">salvatore.distefano@polimi.it</a><br><br>---------------------------------------------------------------------------------------------------<br>Eng. Salvatore Distefano, Ph. D.<br><br>Assistant Professor,<br>Dipartimento di Elettronica, Informazione e Bioingegneria (DEIB),<br>Politecnico di Milano,<br>Piazza L. da Vinci, 32 - 20133 Milano - Italy <br>Office Address: Building/ED. 22, Via Golgi, 42<br>Level: 3<br>Room: 314<br>Phone: +39 02 2399 2513<br>Fax: +39 02 2399 3574<br>E-Mail: <a href="mailto:salvatore.distefano@polimi.it">salvatore.distefano@polimi.it</a><br>Web: <a href="http://distefano.faculty.polimi.it/">http://distefano.faculty.polimi.it/</a> <br>Skype: salvatdi<br>---------------------------------------------------------------------------------------------------
</div>