[ecoop-info] 2nd Workshop on Formal Verification for self-* systems (VERY* 2015)

[Dr. Salvatore Distefano]

VERY* - Call for papers

The 2nd Workshop on Formal Verification for self-* systems (VERY*)

http://verystar.cs.unibo.it/

Affiliated with SEFM 2015: The 13th International Conference on Software
Engineering and Formal Methods


Formal methods have been successfully used in the last decades for modeling
and verification of various types of hardware and software systems. While
most
languages and techniques emerged in a context of monolithic systems with a
limited self-adaptability, modern systems require approaches able to cope
with
dynamically changing requirements and emergent behaviors. The emphasis on
system reconfigurability has not been followed by an adequate research effort,
and the current state of the art lacks paradigms that can describe and
analyze
complex modern systems in a comprehensive way.
This workshop aims at filling this gap by bringing together researchers and
practitioners with the goal of pushing forward the state of the art on
logics and
model checking, with particular attention on the specification and
verification
of systems in the following (and further) categories:

* self-adaptive systems
* self-reconfiguring systems
* self-organizing systems
* cyber-physical systems
* hybrid systems
* elastic systems
* multi-agent systems

The workshop focuses on demonstrating the applicability of Formal Methods
in practical contexts.
Therefore, both methodological/theoretical and industrial/applicative
papers are welcome.
In particular, the workshop aims at valuing and emphasizing the effective
application of
novel/emerging formalisms.
Contributions on all aspects of formal and semi-formal verification,
including
(but not limited to) model checking, modal logics, abstract interpretation,
testing
and modeling languages are encouraged.

Important Dates (strict)
* May 4, 2015: Abstract submissions
* May 18, 2015: Submission of regular papers
* June 19, 2015: Notification of paper acceptance/rejection
* June 26, 2015: Pre-proceedings Camera-ready copies of accepted papers
* September 7-8, 2015: Workshop
* September 25, 2015: Post-workshop camera-ready paper submission

Submissions
Authors are invited to submit original unpublished papers. Every submitted
paper will be reviewed by at least three members of the Program Committee.
Accepted papers will be published in a joint post-workshop proceedings for
all
SEFM 2015 workshops as a joint Lecture Notes in Computer Science volume,
like the SEFM-2013 and SEFM-2014 post-workshop proceedings. Authors are
invited to submit papers of no more than 15 pages in the LNCS format style.
Proofs omitted due to space constraints can be put into an appendix to be
read
at the reviewers’ discretion. Proofs added into appendix will *not* be
published
on proceedings. Submissions should be made using the VERY* 2015 web site:

http://verystar.cs.unibo.it/.

The authors must be prepared to sign a copyright transfer statement. At
least one author of each accepted paper must register to the workshop by the
early date, to be indicated by the organizers, and *must* present the
paper. A
special issue with a selection of the best papers on an international
journal will
be taken into consideration.

Organizers
* Marcello M. Bersani, Politecnico di Milano,
marcellomaria.bersani at polimi.it
* Davide Bresolin, Università di Bologna, davide.bresolin at unibo.it
* Luca Ferrucci, ISTI-CNR, ferrucci at isti.cnr.it
* Manuel Mazzara, Innopolis University, m.mazzara at innopolis.ru
* Salvatore Distefano, Politecnico di Milano [publicity chair],
salvatore.distefano at polimi.it

---------------------------------------------------------------------------------------------------
Eng. Salvatore Distefano, Ph. D.

Assistant Professor,
Dipartimento di Elettronica, Informazione e Bioingegneria (DEIB),
Politecnico di Milano,
Piazza L. da Vinci, 32 - 20133 Milano - Italy
Office Address: Building/ED. 22, Via Golgi, 42
Level: 3
Room: 314
Phone: +39 02 2399 2513
Fax: +39 02 2399 3574
E-Mail: salvatore.distefano at polimi.it
Web: http://distefano.faculty.polimi.it/
Skype: salvatdi
---------------------------------------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20150312/9da16556/attachment.html>