[TYPES/announce] The 2nd Workshop on Formal Verification for self-* systems (VERY*)

[Manuel Mazzara]

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<mailto:marcellomaria.bersani at polimi.it>
* Davide Bresolin, Università  di Bologna, davide.bresolin at unibo.it<mailto:davide.bresolin at unibo.it>
* Luca Ferrucci, ISTI-CNR, ferrucci at isti.cnr.it<mailto:ferrucci at isti.cnr.it>
* Manuel Mazzara, Innopolis University, m.mazzara at innopolis.ru<mailto:m.mazzara at innopolis.ru>
* Salvatore Distefano, Politecnico di Milano [publicity chair], salvatore.distefano at polimi.it<mailto:salvatore.distefano at polimi.it>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150423/68ef595e/attachment.html>